-
Notifications
You must be signed in to change notification settings - Fork 3
Expand file tree
/
Copy pathtpon_best_configs_drift.csv
More file actions
We can make this file beautiful and searchable if this error is corrected: No commas found in this CSV file in line 0.
27 lines (27 loc) · 6.04 KB
/
tpon_best_configs_drift.csv
File metadata and controls
27 lines (27 loc) · 6.04 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
tests/effects/all-ev-pos.ml|-file tests/effects/tr_tuple_drift/all-ev-pos.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain Polka_ls -thold true|NOTEoopsla25july22-TL1-TPtrue-THtrue-DMls-IOfalse-TRtrans.drifttasks
tests/effects/alt-inev.ml|-file tests/effects/tr_tuple_drift/alt-inev.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain Polka_ls -thold true|NOTEoopsla25july22-TL1-TPtrue-THtrue-DMls-IOfalse-TRtrans.drifttasks
tests/effects/auction.ml|-file tests/effects/tr_tuple_drift/auction.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain Polka_ls -thold true|NOTEoopsla25july22-TL1-TPtrue-THtrue-DMls-IOfalse-TRtrans.drifttasks
tests/effects/binomial_heap.ml|-file tests/effects/tr_tuple_drift/binomial_heap.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain Polka_ls -thold true|NOTEoopsla25july22-TL1-TPtrue-THtrue-DMls-IOfalse-TRtrans.drifttasks
tests/effects/concurrent_sum.ml|-file tests/effects/tr_tuple_drift/concurrent_sum.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain Polka_ls -thold true|NOTEoopsla25july22-TL1-TPtrue-THtrue-DMls-IOfalse-TRtrans.drifttasks
tests/effects/depend.ml|-file tests/effects/tr_tuple_drift/depend.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain Polka_ls -thold true|NOTEoopsla25july22-TL1-TPtrue-THtrue-DMls-IOfalse-TRtrans.drifttasks
tests/effects/disj.ml|-file tests/effects/tr_tuple_drift/disj.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain PolkaGrid -thold false|NOTEoopsla25july22-TL1-TPtrue-THfalse-DMpg-IOfalse-TRtrans.drifttasks
tests/effects/disj-gte.ml|-file tests/effects/tr_tuple_drift/disj-gte.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain Polka_ls -thold true|NOTEoopsla25july22-TL1-TPtrue-THtrue-DMls-IOfalse-TRtrans.drifttasks
tests/effects/disj-nondet.ml|-file tests/effects/tr_tuple_drift/disj-nondet.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain Polka_ls -thold true|NOTEoopsla25july22-TL1-TPtrue-THtrue-DMls-IOfalse-TRtrans.drifttasks
tests/effects/higher-order.ml|-file tests/effects/tr_tuple_drift/higher-order.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain Polka_ls -thold true|NOTEoopsla25july22-TL1-TPtrue-THtrue-DMls-IOfalse-TRtrans.drifttasks
tests/effects/intro-ord3.ml|-file tests/effects/tr_tuple_drift/intro-ord3.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain Polka_ls -thold true|NOTEoopsla25july22-TL1-TPtrue-THtrue-DMls-IOfalse-TRtrans.drifttasks
tests/effects/last-ev-even.ml|-file tests/effects/tr_tuple_drift/last-ev-even.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain PolkaGrid -thold false|NOTEoopsla25july22-TL1-TPtrue-THfalse-DMpg-IOfalse-TRtrans.drifttasks
tests/effects/lics18-amortized.ml|-file tests/effects/tr_tuple_drift/lics18-amortized.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain Polka_ls -thold true|NOTEoopsla25july22-TL1-TPtrue-THtrue-DMls-IOfalse-TRtrans.drifttasks
tests/effects/lics18-hoshrink.ml|-file tests/effects/tr_tuple_drift/lics18-hoshrink.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain PolkaGrid -thold false|NOTEoopsla25july22-TL1-TPtrue-THfalse-DMpg-IOfalse-TRtrans.drifttasks
tests/effects/lics18-web.ml|-file tests/effects/tr_tuple_drift/lics18-web.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain Polka_ls -thold true|NOTEoopsla25july22-TL1-TPtrue-THtrue-DMls-IOfalse-TRtrans.drifttasks
tests/effects/market.ml|-file tests/effects/tr_tuple_drift/market.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain PolkaGrid -thold false|NOTEoopsla25july22-TL1-TPtrue-THfalse-DMpg-IOfalse-TRtrans.drifttasks
tests/effects/max-min.ml|-file tests/effects/tr_tuple_drift/max-min.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain PolkaGrid -thold false|NOTEoopsla25july22-TL1-TPtrue-THfalse-DMpg-IOfalse-TRtrans.drifttasks
tests/effects/monotonic.ml|-file tests/effects/tr_tuple_drift/monotonic.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain Polka_ls -thold true|NOTEoopsla25july22-TL1-TPtrue-THtrue-DMls-IOfalse-TRtrans.drifttasks
tests/effects/nondet_max.ml|-file tests/effects/tr_tuple_drift/nondet_max.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain Polka_ls -thold true|NOTEoopsla25july22-TL1-TPtrue-THtrue-DMls-IOfalse-TRtrans.drifttasks
tests/effects/order-irrel.ml|-file tests/effects/tr_tuple_drift/order-irrel.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain PolkaGrid -thold false|NOTEoopsla25july22-TL1-TPtrue-THfalse-DMpg-IOfalse-TRtrans.drifttasks
tests/effects/order-irrel-nondet.ml|-file tests/effects/tr_tuple_drift/order-irrel-nondet.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain PolkaGrid -thold false|NOTEoopsla25july22-TL1-TPtrue-THfalse-DMpg-IOfalse-TRtrans.drifttasks
tests/effects/overview1.ml|-file tests/effects/tr_tuple_drift/overview1.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain Polka_ls -thold true|NOTEoopsla25july22-TL1-TPtrue-THtrue-DMls-IOfalse-TRtrans.drifttasks
tests/effects/reentr.ml|-file tests/effects/tr_tuple_drift/reentr.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain Polka_ls -thold true|NOTEoopsla25july22-TL1-TPtrue-THtrue-DMls-IOfalse-TRtrans.drifttasks
tests/effects/resource-analysis.ml|-file tests/effects/tr_tuple_drift/resource-analysis.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain Polka_ls -thold true|NOTEoopsla25july22-TL1-TPtrue-THtrue-DMls-IOfalse-TRtrans.drifttasks
tests/effects/sum-appendix.ml|-file tests/effects/tr_tuple_drift/sum-appendix.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain Polka_ls -thold true|NOTEoopsla25july22-TL1-TPtrue-THtrue-DMls-IOfalse-TRtrans.drifttasks
tests/effects/sum-of-ev-even.ml|-file tests/effects/tr_tuple_drift/sum-of-ev-even.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain PolkaGrid -thold false|NOTEoopsla25july22-TL1-TPtrue-THfalse-DMpg-IOfalse-TRtrans.drifttasks
tests/effects/temperature.ml|-file tests/effects/tr_tuple_drift/temperature.ml -trace-len 1 -if-part true -io-effects false -out 2 -domain PolkaGrid -thold false|NOTEoopsla25july22-TL1-TPtrue-THfalse-DMpg-IOfalse-TRtrans.drifttasks