| prob_cfr/cfr01.imp |
Maybe |
1.48 s |
| prob_cfr/cfr02.imp |
Maybe |
3.55 s |
| prob_cfr/cfr03.imp |
Maybe |
4.49 s |
| prob_cfr/cfr04.imp |
Maybe |
2.77 s |
| prob_cfr/cfr05.imp |
Maybe |
79.44 s |
| prob_cfr/cfr06.imp |
TIMEOUT |
301.58 s |
| prob_cfr/cfr07.imp |
Maybe |
1.61 s |
| prob_cfr/cfr08.imp |
Maybe |
3.80 s |
| prob_cfr/cfr09.imp |
Maybe |
2.44 s |
| prob_cfr/cfr10.imp |
Maybe |
2.93 s |
| prob_cfr/cfr11.imp |
Maybe |
2.41 s |
| prob_cfr/cfr12.imp |
Maybe |
2.75 s |
| prob_cfr/cfr13.imp |
Maybe |
1.27 s |
| prob_cfr/cfr14.imp |
Maybe |
1.49 s |
| prob_cfr/cfr15.imp |
Maybe |
1.77 s |
| Absynth-Suite/2drwalk.imp |
O(n) |
4.06 s |
| Absynth-Suite/C4B_t09.imp |
O(n) |
1.34 s |
| Absynth-Suite/C4B_t13.imp |
O(n) |
0.93 s |
| Absynth-Suite/C4B_t15.imp |
O(n) |
1.03 s |
| Absynth-Suite/C4B_t19.imp |
O(n) |
0.80 s |
| Absynth-Suite/C4B_t30.imp |
O(n) |
0.94 s |
| Absynth-Suite/C4B_t61.imp |
O(n) |
0.90 s |
| Absynth-Suite/bayesian.imp |
O(n) |
1.07 s |
| Absynth-Suite/ber.imp |
O(n) |
1.08 s |
| Absynth-Suite/bin.imp |
O(n) |
1.28 s |
| Absynth-Suite/complex.imp |
O(n²) |
4.67 s |
| Absynth-Suite/condand.imp |
O(n) |
0.78 s |
| Absynth-Suite/cooling.imp |
O(n) |
0.95 s |
| Absynth-Suite/coupon.imp |
O(1) |
1.00 s |
| Absynth-Suite/cowboy_duel.imp |
O(1) |
0.77 s |
| Absynth-Suite/cowboy_duel_3way.imp |
O(1) |
0.94 s |
| Absynth-Suite/fcall.imp |
O(n) |
0.78 s |
| Absynth-Suite/filling.imp |
O(n) |
1.97 s |
| Absynth-Suite/geo.imp |
O(1) |
0.89 s |
| Absynth-Suite/hyper.imp |
O(n) |
0.82 s |
| Absynth-Suite/linear01.imp |
O(n) |
0.85 s |
| Absynth-Suite/miner.imp |
O(n) |
1.03 s |
| Absynth-Suite/multirace.imp |
O(n²) |
9.13 s |
| Absynth-Suite/no_loop.imp |
O(1) |
0.74 s |
| Absynth-Suite/pol04.imp |
O(n²) |
1.76 s |
| Absynth-Suite/pol05.imp |
O(n²) |
2.48 s |
| Absynth-Suite/pol06.imp |
O(n²) |
5.91 s |
| Absynth-Suite/pol07.imp |
O(n²) |
3.65 s |
| Absynth-Suite/prdwalk.imp |
O(n) |
0.97 s |
| Absynth-Suite/prnes.imp |
O(n) |
1.17 s |
| Absynth-Suite/prseq.imp |
O(n) |
1.22 s |
| Absynth-Suite/prseq_bin.imp |
O(n) |
1.43 s |
| Absynth-Suite/prspeed.imp |
O(n) |
1.21 s |
| Absynth-Suite/race.imp |
O(n) |
1.46 s |
| Absynth-Suite/rdbub.imp |
O(n²) |
1.57 s |
| Absynth-Suite/rdseql.imp |
O(n) |
1.25 s |
| Absynth-Suite/rdspeed.imp |
O(n) |
1.49 s |
| Absynth-Suite/rdwalk.imp |
O(n) |
1.18 s |
| Absynth-Suite/rfind_lv.imp |
O(1) |
1.29 s |
| Absynth-Suite/rfind_mc.imp |
O(n) |
1.22 s |
| Absynth-Suite/robot.imp |
O(n) |
2.60 s |
| Absynth-Suite/roulette.imp |
O(n) |
1.73 s |
| Absynth-Suite/sampling.imp |
O(n) |
3.22 s |
| Absynth-Suite/simple_recursive.imp |
O(n) |
1.50 s |
| Absynth-Suite/sprdwalk.imp |
O(n) |
1.39 s |
| Absynth-Suite/trader.imp |
O(n²) |
2.33 s |
| KoAT-Suite/C4B_t132.imp |
Maybe |
1.44 s |
| KoAT-Suite/alain.c.imp |
TIMEOUT |
301.31 s |
| KoAT-Suite/complex2.imp |
Maybe |
69.56 s |
| KoAT-Suite/cousot9.imp |
TIMEOUT |
301.56 s |
| KoAT-Suite/ex_paper1.c.imp |
TIMEOUT |
301.26 s |
| KoAT-Suite/fib_exp_size.imp |
Maybe |
13.04 s |
| KoAT-Suite/fig5.imp |
Maybe |
1.65 s |
| KoAT-Suite/fig6.imp |
Maybe |
1.18 s |
| KoAT-Suite/fig7.imp |
O(1) |
1.08 s |
| KoAT-Suite/geo_race.imp |
Maybe |
1.07 s |
| KoAT-Suite/knuth_morris_pratt.c.imp |
Maybe |
1.39 s |
| KoAT-Suite/leading.1.imp |
Maybe |
1.55 s |
| KoAT-Suite/leading.imp |
Maybe |
1.54 s |
| KoAT-Suite/multirace2.imp |
TIMEOUT |
301.18 s |
| KoAT-Suite/neg_init_upd.imp |
Maybe |
1.34 s |
| KoAT-Suite/nested_break.imp |
Maybe |
1.30 s |
| KoAT-Suite/nested_rdwalk.imp |
O(n) |
1.35 s |
| KoAT-Suite/nested_size.imp |
TIMEOUT |
301.34 s |
| KoAT-Suite/nondet_countdown.imp |
Maybe |
1.37 s |
| KoAT-Suite/prob_loop.imp |
O(n) |
1.57 s |
| KoAT-Suite/prseq2.imp |
Maybe |
1.43 s |
| KoAT-Suite/rank3.c.imp |
TIMEOUT |
301.10 s |
| KoAT-Suite/rdseql2.imp |
Maybe |
1.57 s |
| KoAT-Suite/realheapsort.imp |
TIMEOUT |
301.24 s |
| KoAT-Suite/selectsort.imp |
O(n²) |
58.82 s |
| KoAT-Suite/simple_nested.imp |
Maybe |
2.64 s |
| KoAT-Suite/spctrm.imp |
TIMEOUT |
301.26 s |
| KoAT-Suite/trunc_selectsort.imp |
TIMEOUT |
301.48 s |
| KoAT-Suite/two_arrays2.imp |
O(n) |
2.03 s |