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