| 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 |