| prob_cfr/cfr01.imp |
Maybe |
1.40 s |
| prob_cfr/cfr02.imp |
Maybe |
1.08 s |
| prob_cfr/cfr03.imp |
Maybe |
1.02 s |
| prob_cfr/cfr04.imp |
Maybe |
0.31 s |
| prob_cfr/cfr05.imp |
Maybe |
0.63 s |
| prob_cfr/cfr06.imp |
Maybe |
0.63 s |
| prob_cfr/cfr07.imp |
Maybe |
0.26 s |
| prob_cfr/cfr08.imp |
Maybe |
0.29 s |
| prob_cfr/cfr09.imp |
TIMEOUT |
300.54 s |
| prob_cfr/cfr10.imp |
TIMEOUT |
300.42 s |
| prob_cfr/cfr11.imp |
TIMEOUT |
300.79 s |
| prob_cfr/cfr12.imp |
TIMEOUT |
300.58 s |
| prob_cfr/cfr13.imp |
TIMEOUT |
300.52 s |
| prob_cfr/cfr14.imp |
TIMEOUT |
300.42 s |
| prob_cfr/cfr15.imp |
Maybe |
0.33 s |
| Absynth-Suite/2drwalk.imp |
O(n) |
0.43 s |
| Absynth-Suite/C4B_t09.imp |
O(n) |
0.36 s |
| Absynth-Suite/C4B_t13.imp |
O(n) |
0.40 s |
| Absynth-Suite/C4B_t15.imp |
Maybe |
1.20 s |
| Absynth-Suite/C4B_t19.imp |
O(n) |
0.40 s |
| Absynth-Suite/C4B_t30.imp |
Maybe |
0.38 s |
| Absynth-Suite/C4B_t61.imp |
O(n) |
0.41 s |
| Absynth-Suite/bayesian.imp |
O(n) |
0.35 s |
| Absynth-Suite/ber.imp |
O(n) |
0.32 s |
| Absynth-Suite/bin.imp |
O(n) |
0.31 s |
| Absynth-Suite/complex.imp |
TIMEOUT |
300.59 s |
| Absynth-Suite/condand.imp |
O(n) |
0.37 s |
| Absynth-Suite/cooling.imp |
O(n) |
0.39 s |
| Absynth-Suite/coupon.imp |
O(1) |
0.37 s |
| Absynth-Suite/cowboy_duel.imp |
O(1) |
0.35 s |
| Absynth-Suite/cowboy_duel_3way.imp |
O(1) |
0.33 s |
| Absynth-Suite/fcall.imp |
O(n) |
0.33 s |
| Absynth-Suite/filling.imp |
O(n) |
0.36 s |
| Absynth-Suite/geo.imp |
O(1) |
0.34 s |
| Absynth-Suite/hyper.imp |
O(n) |
0.35 s |
| Absynth-Suite/linear01.imp |
O(n) |
0.33 s |
| Absynth-Suite/miner.imp |
O(n) |
0.35 s |
| Absynth-Suite/multirace.imp |
O(n²) |
0.38 s |
| Absynth-Suite/no_loop.imp |
O(1) |
0.30 s |
| Absynth-Suite/pol04.imp |
O(n²) |
0.30 s |
| Absynth-Suite/pol05.imp |
O(n²) |
0.37 s |
| Absynth-Suite/pol06.imp |
O(n²) |
0.38 s |
| Absynth-Suite/pol07.imp |
Maybe |
0.79 s |
| Absynth-Suite/prdwalk.imp |
O(n) |
0.31 s |
| Absynth-Suite/prnes.imp |
TIMEOUT |
300.36 s |
| Absynth-Suite/prseq.imp |
O(n) |
0.32 s |
| Absynth-Suite/prseq_bin.imp |
O(n) |
0.29 s |
| Absynth-Suite/prspeed.imp |
O(n) |
0.31 s |
| Absynth-Suite/race.imp |
O(n) |
0.41 s |
| Absynth-Suite/rdbub.imp |
O(n²) |
0.27 s |
| Absynth-Suite/rdseql.imp |
O(n) |
0.28 s |
| Absynth-Suite/rdspeed.imp |
O(n) |
0.31 s |
| Absynth-Suite/rdwalk.imp |
O(n) |
0.31 s |
| Absynth-Suite/rfind_lv.imp |
O(1) |
0.35 s |
| Absynth-Suite/rfind_mc.imp |
O(n) |
0.37 s |
| Absynth-Suite/robot.imp |
O(n) |
0.32 s |
| Absynth-Suite/roulette.imp |
O(n) |
0.42 s |
| Absynth-Suite/sampling.imp |
O(n) |
0.36 s |
| Absynth-Suite/simple_recursive.imp |
O(n) |
0.28 s |
| Absynth-Suite/sprdwalk.imp |
O(n) |
0.31 s |
| Absynth-Suite/trader.imp |
TIMEOUT |
300.30 s |
| KoAT-Suite/C4B_t132.imp |
O(n) |
0.34 s |
| KoAT-Suite/alain.c.imp |
Maybe |
5.19 s |
| KoAT-Suite/complex2.imp |
TIMEOUT |
300.59 s |
| KoAT-Suite/cousot9.imp |
TIMEOUT |
300.40 s |
| KoAT-Suite/ex_paper1.c.imp |
TIMEOUT |
300.80 s |
| KoAT-Suite/fib_exp_size.imp |
Maybe |
0.25 s |
| KoAT-Suite/fig5.imp |
TIMEOUT |
300.50 s |
| KoAT-Suite/fig6.imp |
O(1) |
0.28 s |
| KoAT-Suite/fig7.imp |
O(1) |
0.26 s |
| KoAT-Suite/geo_race.imp |
TIMEOUT |
300.53 s |
| KoAT-Suite/knuth_morris_pratt.c.imp |
TIMEOUT |
300.91 s |
| KoAT-Suite/leading.1.imp |
TIMEOUT |
300.29 s |
| KoAT-Suite/leading.imp |
TIMEOUT |
300.42 s |
| KoAT-Suite/multirace2.imp |
O(n²) |
0.36 s |
| KoAT-Suite/neg_init_upd.imp |
Maybe |
0.34 s |
| KoAT-Suite/nested_break.imp |
Maybe |
0.48 s |
| KoAT-Suite/nested_rdwalk.imp |
O(n) |
0.32 s |
| KoAT-Suite/nested_size.imp |
Maybe |
60.29 s |
| KoAT-Suite/nondet_countdown.imp |
O(n) |
0.25 s |
| KoAT-Suite/prob_loop.imp |
Maybe |
0.30 s |
| KoAT-Suite/prseq2.imp |
O(n) |
0.29 s |
| KoAT-Suite/rank3.c.imp |
Maybe |
0.38 s |
| KoAT-Suite/rdseql2.imp |
O(n) |
0.31 s |
| KoAT-Suite/realheapsort.imp |
Maybe |
1.44 s |
| KoAT-Suite/selectsort.imp |
TIMEOUT |
300.87 s |
| KoAT-Suite/simple_nested.imp |
Maybe |
17.35 s |
| KoAT-Suite/spctrm.imp |
TIMEOUT |
300.29 s |
| KoAT-Suite/trunc_selectsort.imp |
TIMEOUT |
300.84 s |
| KoAT-Suite/two_arrays2.imp |
O(n) |
0.31 s |