Category | Instance name | Checked answer | CPU time | Wallclock time | Solver name | Solver version _________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________ APPLICATION | SAT02/industrial/aloul/Bart/bart17.shuffled.cnf | SAT | 0.060989 | 0.0364211 | ppfolio | par APPLICATION | SAT02/industrial/aloul/Bart/bart17.shuffled.cnf | SAT | 0.412936 | 0.071542 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT02/industrial/aloul/Bart/bart17.shuffled.cnf | SAT | 0.811876 | 0.092011 | Plingeling | 587f (fixed) APPLICATION | SAT02/industrial/aloul/Bart/bart17.shuffled.cnf | SAT | 2.37664 | 0.123515 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT02/industrial/aloul/Homer/homer14.shuffled.cnf | UNSAT | 1135.07 | 35.7121 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT02/industrial/aloul/Homer/homer14.shuffled.cnf | UNSAT | 1745.8 | 54.8393 | ppfolio | par APPLICATION | SAT02/industrial/aloul/Homer/homer14.shuffled.cnf | UNSAT | 11768.5 | 372.849 | Plingeling | 587f (fixed) APPLICATION | SAT02/industrial/aloul/Homer/homer14.shuffled.cnf | UNSAT | 13109 | 524.342 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT02/industrial/aloul/Homer/homer16.shuffled.cnf | UNSAT | 2164.56 | 67.9423 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT02/industrial/aloul/Homer/homer16.shuffled.cnf | UNSAT | 6091.91 | 194.851 | Plingeling | 587f (fixed) APPLICATION | SAT02/industrial/aloul/Homer/homer16.shuffled.cnf | UNSAT | 11631.5 | 364.207 | ppfolio | par APPLICATION | SAT02/industrial/aloul/Homer/homer16.shuffled.cnf | UNSAT | 34416.6 | 3188.49 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT02/industrial/aloul/Homer/homer17.shuffled.cnf | UNSAT | 4399.34 | 137.943 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT02/industrial/aloul/Homer/homer17.shuffled.cnf | UNSAT | 11760.9 | 1315.39 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT02/industrial/aloul/Homer/homer17.shuffled.cnf | UNSAT | 14511.8 | 454.332 | ppfolio | par APPLICATION | SAT02/industrial/aloul/Homer/homer17.shuffled.cnf | UNSAT | 118423 | 3723.37 | Plingeling | 587f (fixed) APPLICATION | SAT02/industrial/biere/dinphil/dp04s04.shuffled.cnf | SAT | 0.088986 | 0.0540701 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT02/industrial/biere/dinphil/dp04s04.shuffled.cnf | SAT | 0.101983 | 0.0374701 | ppfolio | par APPLICATION | SAT02/industrial/biere/dinphil/dp04s04.shuffled.cnf | SAT | 0.691894 | 0.128015 | Plingeling | 587f (fixed) APPLICATION | SAT02/industrial/biere/dinphil/dp04s04.shuffled.cnf | SAT | 5.18821 | 0.254137 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT02/industrial/biere/dinphil/dp04u03.shuffled.cnf | UNSAT | 0.082986 | 0.037113 | ppfolio | par APPLICATION | SAT02/industrial/biere/dinphil/dp04u03.shuffled.cnf | UNSAT | 0.750885 | 0.119117 | Plingeling | 587f (fixed) APPLICATION | SAT02/industrial/biere/dinphil/dp04u03.shuffled.cnf | UNSAT | 4.73228 | 0.230555 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT02/industrial/biere/dinphil/dp04u03.shuffled.cnf | SIGNAL | 0.082987 | 0.062575 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT02/industrial/biere/dinphil/dp10s10.shuffled.cnf | SAT | 2.14367 | 0.440916 | ppfolio | par APPLICATION | SAT02/industrial/biere/dinphil/dp10s10.shuffled.cnf | SAT | 20.3739 | 1.4587 | Plingeling | 587f (fixed) APPLICATION | SAT02/industrial/biere/dinphil/dp10s10.shuffled.cnf | SAT | 37.6533 | 1.7951 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT02/industrial/biere/dinphil/dp10s10.shuffled.cnf | SIGNAL | 2.85357 | 1.41111 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT02/industrial/dellacherie/comb/comb1.shuffled.cnf | UNSAT | 291.751 | 9.48215 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT02/industrial/dellacherie/comb/comb1.shuffled.cnf | UNSAT | 1066.94 | 33.7789 | ppfolio | par APPLICATION | SAT02/industrial/dellacherie/comb/comb1.shuffled.cnf | UNSAT | 2479.27 | 77.942 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT02/industrial/dellacherie/comb/comb1.shuffled.cnf | UNKNOWN TO | 160003 | 5008.02 | Plingeling | 587f (fixed) APPLICATION | SAT02/industrial/goldberg/fpga_routing/vda_gr_rcs_w9.shuffled.cnf | SAT | 3.55646 | 0.744496 | ppfolio | par APPLICATION | SAT02/industrial/goldberg/fpga_routing/vda_gr_rcs_w9.shuffled.cnf | SAT | 6.94294 | 1.99196 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT02/industrial/goldberg/fpga_routing/vda_gr_rcs_w9.shuffled.cnf | SAT | 43.1334 | 3.04142 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT02/industrial/goldberg/fpga_routing/vda_gr_rcs_w9.shuffled.cnf | SAT | 63.1804 | 4.59079 | Plingeling | 587f (fixed) APPLICATION | SAT02/industrial/goldberg/rand_net/rand_net60-25-10.shuffled.cnf | UNSAT | 4.74128 | 0.346658 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT02/industrial/goldberg/rand_net/rand_net60-25-10.shuffled.cnf | UNSAT | 34.7447 | 1.32097 | Plingeling | 587f (fixed) APPLICATION | SAT02/industrial/goldberg/rand_net/rand_net60-25-10.shuffled.cnf | UNSAT | 42.1586 | 1.60271 | ppfolio | par APPLICATION | SAT02/industrial/goldberg/rand_net/rand_net60-25-10.shuffled.cnf | UNSAT | 58.4751 | 2.26068 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT02/industrial/goldberg/rand_net/rand_net60-30-1.shuffled.cnf | UNSAT | 1.91471 | 0.213937 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT02/industrial/goldberg/rand_net/rand_net60-30-1.shuffled.cnf | UNSAT | 5.08123 | 0.400189 | ppfolio | par APPLICATION | SAT02/industrial/goldberg/rand_net/rand_net60-30-1.shuffled.cnf | UNSAT | 20.7628 | 1.02224 | Plingeling | 587f (fixed) APPLICATION | SAT02/industrial/goldberg/rand_net/rand_net60-30-1.shuffled.cnf | UNSAT | 107.811 | 4.77616 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT02/industrial/goldberg/rand_net/rand_net60-40-10.shuffled.cnf | UNSAT | 139.72 | 4.70775 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT02/industrial/goldberg/rand_net/rand_net60-40-10.shuffled.cnf | UNSAT | 145.297 | 4.98931 | Plingeling | 587f (fixed) APPLICATION | SAT02/industrial/goldberg/rand_net/rand_net60-40-10.shuffled.cnf | UNSAT | 180.784 | 6.40239 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT02/industrial/goldberg/rand_net/rand_net60-40-10.shuffled.cnf | UNSAT | 642.035 | 20.3249 | ppfolio | par APPLICATION | SAT02/industrial/goldberg/rand_net/rand_net70-60-10.shuffled.cnf | UNSAT | 510.183 | 16.5133 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT02/industrial/goldberg/rand_net/rand_net70-60-10.shuffled.cnf | UNSAT | 510.343 | 20.151 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT02/industrial/goldberg/rand_net/rand_net70-60-10.shuffled.cnf | UNSAT | 1369.61 | 43.8078 | Plingeling | 587f (fixed) APPLICATION | SAT02/industrial/goldberg/rand_net/rand_net70-60-10.shuffled.cnf | UNSAT | 4384.51 | 137.932 | ppfolio | par APPLICATION | SAT02/industrial/nam/fpga-routing/k2fix_gr_rcs_w8.shuffled.cnf | UNSAT | 161.91 | 9.96489 | ppfolio | par APPLICATION | SAT02/industrial/nam/fpga-routing/k2fix_gr_rcs_w8.shuffled.cnf | UNSAT | 203.543 | 12.7411 | Plingeling | 587f (fixed) APPLICATION | SAT02/industrial/nam/fpga-routing/k2fix_gr_rcs_w8.shuffled.cnf | UNSAT | 74130 | 2327.84 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT02/industrial/nam/fpga-routing/k2fix_gr_rcs_w8.shuffled.cnf | UNSAT | 153572 | 4808.59 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT02/industrial/nam/fpga-routing/k2fix_gr_rcs_w9.shuffled.cnf | UNSAT | 702.513 | 26.5052 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT02/industrial/nam/fpga-routing/k2fix_gr_rcs_w9.shuffled.cnf | UNSAT | 919.853 | 33.5712 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT02/industrial/nam/fpga-routing/k2fix_gr_rcs_w9.shuffled.cnf | UNSAT | 1576.93 | 54.7933 | ppfolio | par APPLICATION | SAT02/industrial/nam/fpga-routing/k2fix_gr_rcs_w9.shuffled.cnf | UNSAT | 1845.09 | 65.4178 | Plingeling | 587f (fixed) APPLICATION | SAT03/industrial/goldberg/hard_eq_check/c6288mul.miter.shuffled-as.sat03-346.cnf | UNSAT | 1149.74 | 36.7452 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT03/industrial/goldberg/hard_eq_check/c6288mul.miter.shuffled-as.sat03-346.cnf | UNSAT | 8484.6 | 267.176 | ppfolio | par APPLICATION | SAT03/industrial/goldberg/hard_eq_check/c6288mul.miter.shuffled-as.sat03-346.cnf | UNKNOWN TO | 160004 | 5009.04 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT03/industrial/goldberg/hard_eq_check/c6288mul.miter.shuffled-as.sat03-346.cnf | UNKNOWN TO | 160005 | 5011.64 | Plingeling | 587f (fixed) APPLICATION | SAT03/industrial/goldberg/hard_eq_check/k2mul.miter.shuffled-as.sat03-355.cnf | UNSAT | 5940.8 | 187.431 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT03/industrial/goldberg/hard_eq_check/k2mul.miter.shuffled-as.sat03-355.cnf | UNSAT | 27577 | 864.969 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT03/industrial/goldberg/hard_eq_check/k2mul.miter.shuffled-as.sat03-355.cnf | UNSAT | 69552 | 2181.12 | Plingeling | 587f (fixed) APPLICATION | SAT03/industrial/goldberg/hard_eq_check/k2mul.miter.shuffled-as.sat03-355.cnf | UNSAT | 99794.6 | 3124.27 | ppfolio | par APPLICATION | SAT03/industrial/goldberg/hard_eq_check/x1mul.miter.shuffled-as.sat03-359.cnf | UNSAT | 2279.68 | 72.6378 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT03/industrial/goldberg/hard_eq_check/x1mul.miter.shuffled-as.sat03-359.cnf | UNSAT | 26771.1 | 839.092 | ppfolio | par APPLICATION | SAT03/industrial/goldberg/hard_eq_check/x1mul.miter.shuffled-as.sat03-359.cnf | UNSAT | 36708.4 | 1151.73 | Plingeling | 587f (fixed) APPLICATION | SAT03/industrial/goldberg/hard_eq_check/x1mul.miter.shuffled-as.sat03-359.cnf | UNSAT | 36726 | 1151.95 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT03/industrial/kukula/addm_bench/am_7_7.shuffled-as.sat03-363.cnf | UNKNOWN TO | 160002 | 5006.16 | ppfolio | par APPLICATION | SAT03/industrial/kukula/addm_bench/am_7_7.shuffled-as.sat03-363.cnf | UNKNOWN TO | 160003 | 5010.27 | Plingeling | 587f (fixed) APPLICATION | SAT03/industrial/kukula/addm_bench/am_7_7.shuffled-as.sat03-363.cnf | UNKNOWN TO | 160004 | 5006.8 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT03/industrial/kukula/addm_bench/am_7_7.shuffled-as.sat03-363.cnf | UNKNOWN TO | 160005 | 5007.87 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT03/industrial/li/li-exam/li-exam-61.shuffled-as.sat03-366.cnf | UNKNOWN TO | 160002 | 5009.64 | ppfolio | par APPLICATION | SAT03/industrial/li/li-exam/li-exam-61.shuffled-as.sat03-366.cnf | UNKNOWN TO | 160003 | 5013.09 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT03/industrial/li/li-exam/li-exam-61.shuffled-as.sat03-366.cnf | UNKNOWN TO | 160005 | 5017.2 | Plingeling | 587f (fixed) APPLICATION | SAT03/industrial/li/li-exam/li-exam-61.shuffled-as.sat03-366.cnf | UNKNOWN TO | 160005 | 5010.7 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT03/industrial/li/li-test4/li-test4-100.shuffled-as.sat03-370.cnf | UNKNOWN TO | 160002 | 5011.14 | ppfolio | par APPLICATION | SAT03/industrial/li/li-test4/li-test4-100.shuffled-as.sat03-370.cnf | UNKNOWN TO | 160004 | 5024.28 | Plingeling | 587f (fixed) APPLICATION | SAT03/industrial/li/li-test4/li-test4-100.shuffled-as.sat03-370.cnf | UNKNOWN TO | 160006 | 5011.76 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT03/industrial/li/li-test4/li-test4-100.shuffled-as.sat03-370.cnf | UNKNOWN TO | 160007 | 5021.71 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT03/industrial/maris/CNF/gripper13u.shuffled-as.sat03-395.cnf | UNSAT | 21500.1 | 674.299 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT03/industrial/maris/CNF/gripper13u.shuffled-as.sat03-395.cnf | UNSAT | 86259.8 | 2702.3 | Plingeling | 587f (fixed) APPLICATION | SAT03/industrial/maris/CNF/gripper13u.shuffled-as.sat03-395.cnf | UNSAT | 136783 | 4280.32 | ppfolio | par APPLICATION | SAT03/industrial/maris/CNF/gripper13u.shuffled-as.sat03-395.cnf | UNKNOWN TO | 160002 | 5006.56 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT03/industrial/schuppan/l2s/bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf | UNSAT | 7644.84 | 318.933 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT03/industrial/schuppan/l2s/bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf | UNSAT | 16223 | 584.969 | Plingeling | 587f (fixed) APPLICATION | SAT03/industrial/schuppan/l2s/bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf | UNSAT | 21162.2 | 719.352 | ppfolio | par APPLICATION | SAT03/industrial/schuppan/l2s/bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf | UNSAT | 45169.5 | 1420.04 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT03/industrial/schuppan/l2s/dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf | UNKNOWN TO | 153028 | 5102.73 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT03/industrial/schuppan/l2s/dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf | UNKNOWN TO | 160002 | 5035.94 | ppfolio | par APPLICATION | SAT03/industrial/schuppan/l2s/dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf | UNKNOWN TO | 160005 | 5056.09 | Plingeling | 587f (fixed) APPLICATION | SAT03/industrial/schuppan/l2s/dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf | UNKNOWN TO | 160005 | 5010.44 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT03/industrial/schuppan/l2s/valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf | UNSAT | 70944.7 | 2607.43 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT03/industrial/schuppan/l2s/valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf | UNSAT | 74468.5 | 2479.12 | ppfolio | par APPLICATION | SAT03/industrial/schuppan/l2s/valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf | UNSAT | 126337 | 4149.3 | Plingeling | 587f (fixed) APPLICATION | SAT03/industrial/schuppan/l2s/valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf | UNSAT | 136073 | 4303.85 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT03/industrial/simon/sat02/6pipe_6_ooo.shuffled-as.sat03-413.cnf | UNSAT | 273.379 | 16.4201 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT03/industrial/simon/sat02/6pipe_6_ooo.shuffled-as.sat03-413.cnf | UNSAT | 978.369 | 43.8894 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT03/industrial/simon/sat02/6pipe_6_ooo.shuffled-as.sat03-413.cnf | UNSAT | 1137.22 | 51.4256 | Plingeling | 587f (fixed) APPLICATION | SAT03/industrial/simon/sat02/6pipe_6_ooo.shuffled-as.sat03-413.cnf | UNSAT | 1224.89 | 49.2854 | ppfolio | par APPLICATION | SAT04/industrial/hoonsang/vis-bmc/all.used-as.sat04-986.cnf | UNSAT | 257.733 | 8.8577 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT04/industrial/hoonsang/vis-bmc/all.used-as.sat04-986.cnf | UNSAT | 328.279 | 11.6037 | Plingeling | 587f (fixed) APPLICATION | SAT04/industrial/hoonsang/vis-bmc/all.used-as.sat04-986.cnf | UNSAT | 657.366 | 21.7056 | ppfolio | par APPLICATION | SAT04/industrial/hoonsang/vis-bmc/all.used-as.sat04-986.cnf | UNSAT | 789.321 | 29.3106 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT04/industrial/hoonsang/vis-bmc/dekker.used-as.sat04-989.cnf | UNSAT | 24.5343 | 1.39714 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT04/industrial/hoonsang/vis-bmc/dekker.used-as.sat04-989.cnf | UNSAT | 147.213 | 5.85703 | Plingeling | 587f (fixed) APPLICATION | SAT04/industrial/hoonsang/vis-bmc/dekker.used-as.sat04-989.cnf | UNSAT | 234.112 | 8.31974 | ppfolio | par APPLICATION | SAT04/industrial/hoonsang/vis-bmc/dekker.used-as.sat04-989.cnf | UNSAT | 402.293 | 15.3677 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf | SAT | 13959.4 | 444.857 | ppfolio | par APPLICATION | SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf | SAT | 16132.6 | 517.453 | Plingeling | 587f (fixed) APPLICATION | SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf | SAT | 20298.5 | 650.54 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf | UNKNOWN TO | 160005 | 5020.92 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-tr.used-as.sat04-321.cnf | SAT | 11.8762 | 2.38677 | ppfolio | par APPLICATION | SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-tr.used-as.sat04-321.cnf | SAT | 19.936 | 4.67421 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-tr.used-as.sat04-321.cnf | SAT | 203.632 | 10.9659 | Plingeling | 587f (fixed) APPLICATION | SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-tr.used-as.sat04-321.cnf | SAT | 9694.57 | 311.865 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT04/industrial/vangelder/cnf-color/myciel6-tr.used-as.sat04-320.cnf | UNSAT | 1029.96 | 32.4404 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT04/industrial/vangelder/cnf-color/myciel6-tr.used-as.sat04-320.cnf | UNSAT | 6989.04 | 218.826 | ppfolio | par APPLICATION | SAT04/industrial/vangelder/cnf-color/myciel6-tr.used-as.sat04-320.cnf | UNSAT | 32929.9 | 1032.5 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT04/industrial/vangelder/cnf-color/myciel6-tr.used-as.sat04-320.cnf | UNKNOWN TO | 160002 | 5007.47 | Plingeling | 587f (fixed) APPLICATION | SAT04/industrial/velev/pipe-sat-1-1/12pipe_bug4_q0.used-as.sat04-723.cnf | SAT | 157.206 | 71.6777 | Plingeling | 587f (fixed) APPLICATION | SAT04/industrial/velev/pipe-sat-1-1/12pipe_bug4_q0.used-as.sat04-723.cnf | SAT | 162.887 | 34.1406 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT04/industrial/velev/pipe-sat-1-1/12pipe_bug4_q0.used-as.sat04-723.cnf | SAT | 237.556 | 48.3001 | ppfolio | par APPLICATION | SAT04/industrial/velev/pipe-sat-1-1/12pipe_bug4_q0.used-as.sat04-723.cnf | SAT | 1476.02 | 65.9803 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT04/industrial/velev/pipe-sat-1-1/12pipe_bug6_q0.used-as.sat04-725.cnf | SAT | 155.353 | 32.319 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT04/industrial/velev/pipe-sat-1-1/12pipe_bug6_q0.used-as.sat04-725.cnf | SAT | 255.753 | 75.7129 | Plingeling | 587f (fixed) APPLICATION | SAT04/industrial/velev/pipe-sat-1-1/12pipe_bug6_q0.used-as.sat04-725.cnf | SAT | 265.653 | 53.9065 | ppfolio | par APPLICATION | SAT04/industrial/velev/pipe-sat-1-1/12pipe_bug6_q0.used-as.sat04-725.cnf | SAT | 1399.33 | 63.8569 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf | UNSAT | 22161.3 | 1281.27 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf | UNSAT | 24770.2 | 1041.74 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf | UNSAT | 38380.2 | 1257.88 | Plingeling | 587f (fixed) APPLICATION | SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf | UNSAT | 39451 | 1275.63 | ppfolio | par APPLICATION | SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf | UNSAT | 63687.7 | 3383.74 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf | UNSAT | 80934.4 | 3347.46 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf | UNSAT | 101492 | 3287.94 | Plingeling | 587f (fixed) APPLICATION | SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf | UNSAT | 103519 | 3464.22 | ppfolio | par APPLICATION | SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf | UNSAT | 84323.6 | 4156.4 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf | UNSAT | 141851 | 4591.99 | Plingeling | 587f (fixed) APPLICATION | SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf | UNSAT | 149441 | 4979.22 | ppfolio | par APPLICATION | SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf | UNKNOWN TO | 117275 | 5102.76 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_25.renamed-as.sat05-1913.cnf | SAT | 74.0088 | 3.6438 | Plingeling | 587f (fixed) APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_25.renamed-as.sat05-1913.cnf | SAT | 74.5247 | 3.04474 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_25.renamed-as.sat05-1913.cnf | SAT | 94.4616 | 3.83376 | ppfolio | par APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_25.renamed-as.sat05-1913.cnf | SAT | 98.791 | 4.01741 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_29.renamed-as.sat05-1916.cnf | SAT | 434.703 | 14.9054 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_29.renamed-as.sat05-1916.cnf | SAT | 765.889 | 25.1846 | ppfolio | par APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_29.renamed-as.sat05-1916.cnf | SAT | 1294.26 | 43.7362 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_29.renamed-as.sat05-1916.cnf | SAT | 5901.75 | 186.472 | Plingeling | 587f (fixed) APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_32.renamed-as.sat05-1919.cnf | SAT | 1714.43 | 55.4513 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_32.renamed-as.sat05-1919.cnf | SAT | 1827.72 | 58.7682 | ppfolio | par APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_32.renamed-as.sat05-1919.cnf | SAT | 2154.52 | 68.6141 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_32.renamed-as.sat05-1919.cnf | SAT | 4950.31 | 157.19 | Plingeling | 587f (fixed) APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_34.renamed-as.sat05-1926.cnf | SAT | 2669.83 | 85.6578 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_34.renamed-as.sat05-1926.cnf | SAT | 8305.38 | 262.019 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_34.renamed-as.sat05-1926.cnf | SAT | 18942.6 | 594.952 | ppfolio | par APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_34.renamed-as.sat05-1926.cnf | SAT | 22850.6 | 718.245 | Plingeling | 587f (fixed) APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_35.renamed-as.sat05-1921.cnf | SAT | 258.795 | 10.5314 | ppfolio | par APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_35.renamed-as.sat05-1921.cnf | SAT | 10431.1 | 329.409 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_35.renamed-as.sat05-1921.cnf | SAT | 41057.6 | 1288.19 | Plingeling | 587f (fixed) APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_35.renamed-as.sat05-1921.cnf | SAT | 77578.6 | 2429.88 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_36.renamed-as.sat05-1922.cnf | SAT | 18891.4 | 594.88 | Plingeling | 587f (fixed) APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_36.renamed-as.sat05-1922.cnf | SAT | 27429.2 | 860.862 | ppfolio | par APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_36.renamed-as.sat05-1922.cnf | UNKNOWN TO | 160004 | 5009.75 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_36.renamed-as.sat05-1922.cnf | UNKNOWN TO | 160004 | 5009 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT05/industrial/maris05/DriverLog/driverlog1_ks99i.renamed-as.sat05-3951.cnf | SAT | 0.020996 | 0.042068 | ppfolio | par APPLICATION | SAT05/industrial/maris05/DriverLog/driverlog1_ks99i.renamed-as.sat05-3951.cnf | SAT | 0.023995 | 0.0349429 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT05/industrial/maris05/DriverLog/driverlog1_ks99i.renamed-as.sat05-3951.cnf | SAT | 0.45293 | 0.0531709 | Plingeling | 587f (fixed) APPLICATION | SAT05/industrial/maris05/DriverLog/driverlog1_ks99i.renamed-as.sat05-3951.cnf | SAT | 2.11368 | 0.0968161 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT05/industrial/maris05/DriverLog/driverlog3_v01a.renamed-as.sat05-3963.cnf | SAT | 0.024996 | 0.034493 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT05/industrial/maris05/DriverLog/driverlog3_v01a.renamed-as.sat05-3963.cnf | SAT | 0.039993 | 0.0354011 | ppfolio | par APPLICATION | SAT05/industrial/maris05/DriverLog/driverlog3_v01a.renamed-as.sat05-3963.cnf | SAT | 0.669897 | 0.0736401 | Plingeling | 587f (fixed) APPLICATION | SAT05/industrial/maris05/DriverLog/driverlog3_v01a.renamed-as.sat05-3963.cnf | SAT | 1.46278 | 0.0780661 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT05/industrial/maris05/Ferry/ferry5_ks99i.renamed-as.sat05-3994.cnf | SAT | 0.236963 | 0.095212 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT05/industrial/maris05/Ferry/ferry5_ks99i.renamed-as.sat05-3994.cnf | SAT | 0.25696 | 0.0727171 | ppfolio | par APPLICATION | SAT05/industrial/maris05/Ferry/ferry5_ks99i.renamed-as.sat05-3994.cnf | SAT | 4.05638 | 0.280327 | Plingeling | 587f (fixed) APPLICATION | SAT05/industrial/maris05/Ferry/ferry5_ks99i.renamed-as.sat05-3994.cnf | SAT | 5.03023 | 0.284562 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT05/industrial/maris05/Rovers/rovers1_ks99i.renamed-as.sat05-3971.cnf | SAT | 0.05799 | 0.043297 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT05/industrial/maris05/Rovers/rovers1_ks99i.renamed-as.sat05-3971.cnf | SAT | 0.085986 | 0.0365849 | ppfolio | par APPLICATION | SAT05/industrial/maris05/Rovers/rovers1_ks99i.renamed-as.sat05-3971.cnf | SAT | 0.439932 | 0.11171 | Plingeling | 587f (fixed) APPLICATION | SAT05/industrial/maris05/Rovers/rovers1_ks99i.renamed-as.sat05-3971.cnf | SAT | 2.44163 | 0.143585 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT05/industrial/narain05/vpn/clauses-8.renamed-as.sat05-1964.cnf | SAT | 9235.08 | 400.139 | ppfolio | par APPLICATION | SAT05/industrial/narain05/vpn/clauses-8.renamed-as.sat05-1964.cnf | SAT | 15246.5 | 601.36 | Plingeling | 587f (fixed) APPLICATION | SAT05/industrial/narain05/vpn/clauses-8.renamed-as.sat05-1964.cnf | SAT | 17993.1 | 2449.13 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT05/industrial/narain05/vpn/clauses-8.renamed-as.sat05-1964.cnf | SAT | 30694.6 | 1020.02 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/anbulagan/hard-sat/partial-10-13-s.cnf | SAT | 1688 | 187.299 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/anbulagan/hard-sat/partial-10-13-s.cnf | SAT | 3443.64 | 122.814 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/anbulagan/hard-sat/partial-10-13-s.cnf | SAT | 9263.69 | 309.98 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/anbulagan/hard-sat/partial-10-13-s.cnf | SAT | 21569.3 | 691.539 | ppfolio | par APPLICATION | SAT07/industrial/anbulagan/hard-sat/partial-10-15-s.cnf | SAT | 2275.48 | 93.9363 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/anbulagan/hard-sat/partial-10-15-s.cnf | SAT | 3750.63 | 137.149 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/anbulagan/hard-sat/partial-10-15-s.cnf | SAT | 7520.47 | 252.351 | ppfolio | par APPLICATION | SAT07/industrial/anbulagan/hard-sat/partial-10-15-s.cnf | SAT | 15505.4 | 663.278 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/anbulagan/hard-sat/partial-10-17-s.cnf | SAT | 10968 | 370.536 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/anbulagan/hard-sat/partial-10-17-s.cnf | SAT | 17008 | 827.992 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/anbulagan/hard-sat/partial-10-17-s.cnf | SAT | 41531 | 1317.9 | ppfolio | par APPLICATION | SAT07/industrial/anbulagan/hard-sat/partial-10-17-s.cnf | SAT | 72829.2 | 2305.78 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/anbulagan/hard-unsat/dated-10-17-u.cnf | UNSAT | 23515.2 | 759.786 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/anbulagan/hard-unsat/dated-10-17-u.cnf | UNSAT | 30836.9 | 971.977 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/anbulagan/hard-unsat/dated-10-17-u.cnf | UNSAT | 55541.2 | 1751.72 | ppfolio | par APPLICATION | SAT07/industrial/anbulagan/hard-unsat/dated-10-17-u.cnf | UNSAT | 71548.4 | 2260.55 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/anbulagan/hard-unsat/dated-5-13-u.cnf | UNSAT | 20077.9 | 631.159 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/anbulagan/hard-unsat/dated-5-13-u.cnf | UNSAT | 23492.9 | 740.393 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/anbulagan/hard-unsat/dated-5-13-u.cnf | UNSAT | 105888 | 3324.66 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/anbulagan/hard-unsat/dated-5-13-u.cnf | UNSAT | 106137 | 3328.99 | ppfolio | par APPLICATION | SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf | UNKNOWN TO | 160002 | 5015.14 | ppfolio | par APPLICATION | SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf | UNKNOWN TO | 160003 | 5019.86 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf | UNKNOWN TO | 160004 | 5010.85 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf | UNKNOWN TO | 160005 | 5050.44 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/anbulagan/hard-unsat/total-10-17-u.cnf | UNSAT | 21390.5 | 687.886 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/anbulagan/hard-unsat/total-10-17-u.cnf | UNSAT | 44540 | 1404.78 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/anbulagan/hard-unsat/total-10-17-u.cnf | UNSAT | 81308.4 | 2561.89 | ppfolio | par APPLICATION | SAT07/industrial/anbulagan/hard-unsat/total-10-17-u.cnf | UNSAT | 112718 | 3552.6 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/anbulagan/medium-unsat/dated-5-11-u.cnf | UNSAT | 241.061 | 11.5216 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/anbulagan/medium-unsat/dated-5-11-u.cnf | UNSAT | 302.528 | 15.9615 | ppfolio | par APPLICATION | SAT07/industrial/anbulagan/medium-unsat/dated-5-11-u.cnf | UNSAT | 505.763 | 24.3756 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/anbulagan/medium-unsat/dated-5-11-u.cnf | UNSAT | 645.57 | 23.2432 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/babic/dspam/dspam_dump_vc949.cnf | UNSAT | 1.03184 | 1.0327 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/babic/dspam/dspam_dump_vc949.cnf | UNSAT | 6.27005 | 1.26694 | ppfolio | par APPLICATION | SAT07/industrial/babic/dspam/dspam_dump_vc949.cnf | UNSAT | 15.8226 | 7.77537 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/babic/dspam/dspam_dump_vc949.cnf | UNSAT | 100.602 | 4.73745 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/babic/hsatv17/hsat_vc12062.cnf | UNSAT | 1.15482 | 1.15628 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/babic/hsatv17/hsat_vc12062.cnf | UNSAT | 7.59484 | 1.53396 | ppfolio | par APPLICATION | SAT07/industrial/babic/hsatv17/hsat_vc12062.cnf | UNSAT | 76.1934 | 14.3011 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/babic/hsatv17/hsat_vc12062.cnf | UNSAT | 202.637 | 9.00267 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/crypto/mizh-sha0-36-2.cnf | SAT | 1185.47 | 39.7217 | ppfolio | par APPLICATION | SAT07/industrial/crypto/mizh-sha0-36-2.cnf | SAT | 1308.43 | 46.2749 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/crypto/mizh-sha0-36-2.cnf | SAT | 1629.79 | 55.1136 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/crypto/mizh-sha0-36-2.cnf | SAT | 2027.14 | 65.9331 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/fuhs/hard/AProVE07-01.cnf | UNSAT | 57347.5 | 1795.36 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/fuhs/hard/AProVE07-01.cnf | UNSAT | 91676.5 | 2868.88 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/fuhs/hard/AProVE07-01.cnf | UNKNOWN TO | 160001 | 5006.16 | ppfolio | par APPLICATION | SAT07/industrial/fuhs/hard/AProVE07-01.cnf | UNKNOWN TO | 160003 | 5010.51 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/fuhs/hard/AProVE07-03.cnf | UNSAT | 4935.91 | 154.687 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/fuhs/hard/AProVE07-03.cnf | UNSAT | 7298.23 | 228.687 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/fuhs/hard/AProVE07-03.cnf | UNSAT | 16630.1 | 523.681 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/fuhs/hard/AProVE07-03.cnf | UNSAT | 19129.6 | 598.777 | ppfolio | par APPLICATION | SAT07/industrial/fuhs/medium/AProVE07-21.cnf | UNSAT | 565.95 | 17.9649 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/fuhs/medium/AProVE07-21.cnf | UNSAT | 1003.22 | 31.9054 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/fuhs/medium/AProVE07-21.cnf | UNSAT | 2740.67 | 86.6844 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/fuhs/medium/AProVE07-21.cnf | UNSAT | 3415.9 | 107.262 | ppfolio | par APPLICATION | SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k100.cnf | UNSAT | 4897.74 | 162.321 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k100.cnf | UNKNOWN TO | 160003 | 5013.82 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k100.cnf | UNKNOWN TO | 160003 | 5007.94 | ppfolio | par APPLICATION | SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k100.cnf | UNKNOWN TO | 160004 | 5012.17 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k20.cnf | UNSAT | 6733.2 | 243.598 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k20.cnf | UNKNOWN TO | 160002 | 5007.44 | ppfolio | par APPLICATION | SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k20.cnf | UNKNOWN TO | 160003 | 5012.27 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k20.cnf | UNKNOWN TO | 160004 | 5011.05 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k45.cnf | UNSAT | 6444.1 | 217.544 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k45.cnf | UNKNOWN TO | 160002 | 5012.65 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k45.cnf | UNKNOWN TO | 160003 | 5011.26 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k45.cnf | UNKNOWN TO | 160004 | 5009.84 | ppfolio | par APPLICATION | SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k80.cnf | UNSAT | 6390.7 | 222.831 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k80.cnf | UNKNOWN TO | 160001 | 5014.04 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k80.cnf | UNKNOWN TO | 160003 | 5007.94 | ppfolio | par APPLICATION | SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k80.cnf | UNKNOWN TO | 160006 | 5011.96 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/IBM_FV_2004_30/IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf | SAT | 2621.59 | 90.699 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/IBM_FV_2004_30/IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf | SAT | 5230.98 | 177.464 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/IBM_FV_2004_30/IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf | SAT | 8124.06 | 260.271 | ppfolio | par APPLICATION | SAT07/industrial/IBM_FV_2004_30/IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf | SAT | 9440.2 | 303.471 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/IBM_FV_2004_30/IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf | SAT | 10964.5 | 356.434 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/IBM_FV_2004_30/IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf | SAT | 13246.1 | 423.724 | ppfolio | par APPLICATION | SAT07/industrial/IBM_FV_2004_30/IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf | SAT | 15310.6 | 490.932 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/IBM_FV_2004_30/IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf | SAT | 36549.8 | 1172.25 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/jarvisalo/eq.atree.braun.11.unsat.cnf | UNSAT | 9306 | 291.353 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/jarvisalo/eq.atree.braun.11.unsat.cnf | UNSAT | 16493.4 | 519.408 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/jarvisalo/eq.atree.braun.11.unsat.cnf | UNSAT | 39031.1 | 1221.32 | ppfolio | par APPLICATION | SAT07/industrial/jarvisalo/eq.atree.braun.11.unsat.cnf | UNSAT | 53960.6 | 1689.54 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/jarvisalo/eq.atree.braun.12.unsat.cnf | UNSAT | 81294.6 | 2543.88 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/jarvisalo/eq.atree.braun.12.unsat.cnf | UNSAT | 106346 | 3328.28 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/jarvisalo/eq.atree.braun.12.unsat.cnf | UNKNOWN TO | 160003 | 5005.84 | ppfolio | par APPLICATION | SAT07/industrial/jarvisalo/eq.atree.braun.12.unsat.cnf | UNKNOWN TO | 160003 | 5007.02 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/manolios/manol-pipe-f7idw.cnf | UNSAT | 581.254 | 26.2199 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/manolios/manol-pipe-f7idw.cnf | UNSAT | 1193.47 | 49.2739 | ppfolio | par APPLICATION | SAT07/industrial/manolios/manol-pipe-f7idw.cnf | UNSAT | 1414.91 | 61.2123 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/manolios/manol-pipe-f7idw.cnf | UNSAT | 5930.63 | 212.343 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf | UNKNOWN TO | 160001 | 5011.03 | ppfolio | par APPLICATION | SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf | UNKNOWN TO | 160002 | 5014.04 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf | UNKNOWN TO | 160004 | 5015.75 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf | UNKNOWN TO | 160006 | 5020.61 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/palacios/hard/sortnet-8-ipc5-h19-sat.cnf | SAT | 98394.4 | 3099.02 | ppfolio | par APPLICATION | SAT07/industrial/palacios/hard/sortnet-8-ipc5-h19-sat.cnf | SAT | 124681 | 3930.86 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/palacios/hard/sortnet-8-ipc5-h19-sat.cnf | UNKNOWN TO | 159185 | 5101.86 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/palacios/hard/sortnet-8-ipc5-h19-sat.cnf | UNKNOWN TO | 160005 | 5097.46 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/palacios/medium/blocks-4-ipc5-h21-unknown.cnf | UNSAT | 345.399 | 32.7539 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/palacios/medium/blocks-4-ipc5-h21-unknown.cnf | UNSAT | 808.519 | 35.6177 | ppfolio | par APPLICATION | SAT07/industrial/palacios/medium/blocks-4-ipc5-h21-unknown.cnf | UNSAT | 1053.86 | 47.6736 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/palacios/medium/blocks-4-ipc5-h21-unknown.cnf | UNSAT | 3389.48 | 109.798 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/palacios/medium/cube-11-h14-sat.cnf | SAT | 2054.91 | 186.742 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/palacios/medium/cube-11-h14-sat.cnf | SAT | 3672.99 | 151.019 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/palacios/medium/cube-11-h14-sat.cnf | SAT | 10452.5 | 372.971 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/palacios/medium/cube-11-h14-sat.cnf | SAT | 47787.4 | 1520.74 | ppfolio | par APPLICATION | SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug5.cnf | SAT | 84.6771 | 21.5336 | ppfolio | par APPLICATION | SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug5.cnf | SAT | 2457.58 | 331.474 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug5.cnf | SAT | 10902.3 | 434.181 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug5.cnf | UNKNOWN TO | 20430.1 | 5102.25 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug6.cnf | SAT | 37.1444 | 9.93764 | ppfolio | par APPLICATION | SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug6.cnf | SAT | 2563.97 | 335.7 | Plingeling | 587f (fixed) APPLICATION | SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug6.cnf | SAT | 5320.01 | 257.265 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug6.cnf | UNKNOWN TO | 20429.6 | 5102.25 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf | UNSAT | 33409.7 | 3102.74 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf | UNSAT | 40393.2 | 1401.86 | ppfolio | par APPLICATION | SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf | UNSAT | 41888.9 | 1719.26 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf | UNSAT | 56679 | 1865.38 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/bioinfo/q_query_3_L150_coli.sat.cnf | UNSAT | 3533.27 | 122.953 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/bioinfo/q_query_3_L150_coli.sat.cnf | UNSAT | 6743.87 | 245.941 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/bioinfo/q_query_3_L150_coli.sat.cnf | UNSAT | 9024.97 | 330.275 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/bioinfo/q_query_3_L150_coli.sat.cnf | UNSAT | 9170.97 | 378.334 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/bioinfo/q_query_3_l46_lambda.cnf | UNSAT | 2101.44 | 67.0517 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/bioinfo/q_query_3_l46_lambda.cnf | UNSAT | 3729.84 | 120.076 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/bioinfo/q_query_3_l46_lambda.cnf | UNSAT | 5068.2 | 161.073 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/bioinfo/q_query_3_l46_lambda.cnf | UNSAT | 7877.05 | 251.397 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/bioinfo/q_query_3_L70_coli.sat.cnf | SAT | 1027.79 | 36.7267 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/bioinfo/q_query_3_L70_coli.sat.cnf | SAT | 1143.18 | 48.6266 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/bioinfo/q_query_3_L70_coli.sat.cnf | SAT | 2069.22 | 83.9782 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/bioinfo/q_query_3_L70_coli.sat.cnf | SAT | 3916.48 | 188.964 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/countbitsarray/countbitsarray04_32.cnf | UNKNOWN TO | 160002 | 5010.09 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/countbitsarray/countbitsarray04_32.cnf | UNKNOWN TO | 160002 | 5006.5 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/countbitsarray/countbitsarray04_32.cnf | UNKNOWN TO | 160003 | 5006.16 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/bitverif/countbitsarray/countbitsarray04_32.cnf | UNKNOWN TO | 160005 | 5007.85 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate032.cnf | UNKNOWN TO | 160002 | 5006.73 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate032.cnf | UNKNOWN TO | 160003 | 5006.43 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate032.cnf | UNKNOWN TO | 160004 | 5006.15 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate032.cnf | UNKNOWN TO | 160004 | 5007.18 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl064.cnf | UNKNOWN TO | 160001 | 5008.54 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl064.cnf | UNKNOWN TO | 160004 | 5008.66 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl064.cnf | UNKNOWN TO | 160004 | 5011.65 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl064.cnf | UNKNOWN TO | 160006 | 5010.84 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/countbitswegner/countbitswegner128.cnf | UNSAT | 129083 | 4079.33 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/countbitswegner/countbitswegner128.cnf | UNSAT | 159186 | 4994.03 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/countbitswegner/countbitswegner128.cnf | UNKNOWN TO | 160004 | 5009.46 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/bitverif/countbitswegner/countbitswegner128.cnf | UNKNOWN TO | 160055 | 5129.1 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/maxor/maxor128.cnf | UNSAT | 26416.7 | 839.129 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/maxor/maxor128.cnf | UNSAT | 42567.9 | 1396.32 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/maxor/maxor128.cnf | UNSAT | 43963.3 | 1384.45 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/bitverif/maxor/maxor128.cnf | UNSAT | 59814.8 | 1895.74 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/maxxor/maxxor032.cnf | UNSAT | 949.053 | 36.3534 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/maxxor/maxxor032.cnf | UNSAT | 3228.92 | 102.228 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/maxxor/maxxor032.cnf | UNSAT | 5142.56 | 161.708 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/bitverif/maxxor/maxxor032.cnf | UNSAT | 21358.7 | 669.401 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/maxxor/maxxor064.cnf | UNSAT | 10303 | 340.839 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/maxxor/maxxor064.cnf | UNSAT | 46604.4 | 1460.22 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/bitverif/maxxor/maxxor064.cnf | UNSAT | 52440.1 | 1644.98 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/maxxor/maxxor064.cnf | UNKNOWN TO | 160005 | 5011.15 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/maxxor/maxxor128.cnf | UNSAT | 148113 | 4691.76 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/maxxor/maxxor128.cnf | UNKNOWN TO | 160002 | 5014.14 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/bitverif/maxxor/maxxor128.cnf | UNKNOWN TO | 160004 | 5019.11 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/maxxor/maxxor128.cnf | UNKNOWN TO | 160005 | 5025.93 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand064.cnf | UNSAT | 83265.2 | 2612.98 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand064.cnf | UNSAT | 108289 | 3396.43 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand064.cnf | UNKNOWN TO | 160004 | 5009.45 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand064.cnf | UNKNOWN TO | 160005 | 5019.5 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor016.cnf | UNSAT | 1.39979 | 0.479605 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor016.cnf | UNSAT | 3.79642 | 0.28052 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor016.cnf | UNSAT | 43.8253 | 2.02001 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor016.cnf | UNSAT | 48.3676 | 2.10078 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor128.cnf | UNSAT | 13686.4 | 467.823 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor128.cnf | UNSAT | 31210.7 | 992.295 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor128.cnf | UNSAT | 39076 | 1306.38 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor128.cnf | UNSAT | 56799.7 | 1788.3 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand128.cnf | UNSAT | 1620.42 | 57.8936 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand128.cnf | UNSAT | 41380.3 | 1444.06 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand128.cnf | UNSAT | 67419.5 | 2123.49 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand128.cnf | UNSAT | 105032 | 3294.46 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/bitverif/mulhs/mulhs016.cnf | UNKNOWN TO | 160001 | 5009.02 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/mulhs/mulhs016.cnf | UNKNOWN TO | 160002 | 5005.94 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/bitverif/mulhs/mulhs016.cnf | UNKNOWN TO | 160002 | 5006.98 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/mulhs/mulhs016.cnf | UNKNOWN TO | 160004 | 5006.47 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/smulo/smulo064.cnf | UNKNOWN TO | 157865 | 5100.03 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/bitverif/smulo/smulo064.cnf | UNKNOWN TO | 160003 | 5009.37 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/smulo/smulo064.cnf | UNKNOWN TO | 160004 | 5008.79 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/bitverif/smulo/smulo064.cnf | UNKNOWN TO | 160005 | 5009.36 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/c32sat/post-c32s-gcdm16-23.cnf | UNSAT | 151.673 | 7.80597 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/c32sat/post-c32s-gcdm16-23.cnf | UNSAT | 1313.46 | 48.7921 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/c32sat/post-c32s-gcdm16-23.cnf | UNSAT | 1530.31 | 53.0936 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/c32sat/post-c32s-gcdm16-23.cnf | UNSAT | 2015.6 | 80.5112 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/c32sat/post-cbmc-zfcp-2.8-u2-noholes.cnf | SAT | 101.689 | 30.4767 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/c32sat/post-cbmc-zfcp-2.8-u2-noholes.cnf | SAT | 5992.18 | 1176.86 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/c32sat/post-cbmc-zfcp-2.8-u2-noholes.cnf | SAT | 52922.7 | 1987.07 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/c32sat/post-cbmc-zfcp-2.8-u2-noholes.cnf | UNKNOWN TO | 21390.7 | 5103.54 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-14-s100.cnf | SAT | 25.1742 | 2.66233 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-14-s100.cnf | SAT | 79.187 | 3.55125 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-14-s100.cnf | SAT | 152.549 | 11.6521 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-14-s100.cnf | SAT | 179.542 | 7.12265 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-16-s100.cnf | SAT | 121.177 | 4.9356 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-16-s100.cnf | SAT | 202.628 | 8.52024 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-16-s100.cnf | SAT | 256.795 | 9.46109 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-16-s100.cnf | SAT | 1080.15 | 40.666 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-19-s100.cnf | SAT | 264.064 | 9.88529 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-19-s100.cnf | SAT | 1219.38 | 39.5042 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-19-s100.cnf | SAT | 1242.11 | 40.9806 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-19-s100.cnf | SAT | 3003.62 | 100.922 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-21-s100.cnf | SAT | 921.837 | 31.0386 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-21-s100.cnf | SAT | 3929.5 | 124.37 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-21-s100.cnf | SAT | 13389.9 | 420.637 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-21-s100.cnf | SAT | 15280 | 484.486 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-22-s100.cnf | SAT | 968.413 | 32.3532 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-22-s100.cnf | SAT | 3006.07 | 95.6425 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-22-s100.cnf | SAT | 4037.81 | 127.944 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-22-s100.cnf | SAT | 29488.9 | 931.119 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-27-s100.cnf | SAT | 22271.7 | 698.336 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-27-s100.cnf | UNKNOWN TO | 160001 | 5007.7 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-27-s100.cnf | UNKNOWN TO | 160003 | 5011.7 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-27-s100.cnf | UNKNOWN TO | 160004 | 5008.73 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/md5gen/gus-md5-11.cnf | UNSAT | 74749.9 | 2340.92 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/md5gen/gus-md5-11.cnf | UNSAT | 87819.6 | 2751.38 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/crypto/md5gen/gus-md5-11.cnf | UNKNOWN TO | 160002 | 5011.91 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/md5gen/gus-md5-11.cnf | UNKNOWN TO | 160004 | 5009.72 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/md5gen/gus-md5-12.cnf | UNKNOWN TO | 160002 | 5008.38 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/md5gen/gus-md5-12.cnf | UNKNOWN TO | 160004 | 5012.52 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/md5gen/gus-md5-12.cnf | UNKNOWN TO | 160004 | 5009.63 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/crypto/md5gen/gus-md5-12.cnf | UNKNOWN TO | 160004 | 5009.74 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/diagnosis/ACG-10-10p0.cnf | UNSAT | 631.091 | 32.8247 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/ACG-10-10p0.cnf | UNSAT | 667.38 | 29.8605 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/diagnosis/ACG-10-10p0.cnf | UNSAT | 763.346 | 99.412 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/ACG-10-10p0.cnf | UNSAT | 3119.7 | 100.655 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/ACG-15-5p1.cnf | SAT | 896.431 | 46.1404 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/ACG-15-5p1.cnf | SAT | 996.794 | 44.0278 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/diagnosis/ACG-15-5p1.cnf | SAT | 1178.03 | 203.766 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/ACG-15-5p1.cnf | SAT | 2955.71 | 96.4605 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UCG-15-10p0.cnf | UNSAT | 3363.87 | 124.266 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UCG-15-10p0.cnf | UNSAT | 3857.32 | 253.981 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UCG-15-10p0.cnf | UNSAT | 5341.81 | 183.856 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/diagnosis/UCG-15-10p0.cnf | UNSAT | 7668.35 | 259.15 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UCG-15-10p1.cnf | SAT | 4060.69 | 147.35 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UCG-15-10p1.cnf | SAT | 4969.94 | 295.587 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UCG-15-10p1.cnf | SAT | 6411.87 | 215.577 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/diagnosis/UCG-15-10p1.cnf | SAT | 9591.82 | 320.844 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UCG-15-5p0.cnf | UNSAT | 535.574 | 27.5644 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/diagnosis/UCG-15-5p0.cnf | UNSAT | 655.987 | 35.9406 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UCG-15-5p0.cnf | UNSAT | 801.381 | 133.007 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UCG-15-5p0.cnf | UNSAT | 2189.1 | 72.3143 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UCG-20-5p1.cnf | SAT | 2293.42 | 155.771 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UCG-20-5p1.cnf | SAT | 2314.17 | 96.2144 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UCG-20-5p1.cnf | SAT | 2556.57 | 86.675 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UCG-20-5p1.cnf | SAT | 2667.62 | 99.5734 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/diagnosis/UR-10-10p1.cnf | SAT | 592.465 | 28.4495 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/diagnosis/UR-10-10p1.cnf | SAT | 697.101 | 34.3271 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UR-10-10p1.cnf | SAT | 976.561 | 91.9542 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UR-10-10p1.cnf | SAT | 1991.48 | 64.7014 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UR-20-10p0.cnf | UNSAT | 39858.6 | 1504.11 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UR-20-10p0.cnf | UNSAT | 44695.2 | 1417.61 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UR-20-10p0.cnf | UNSAT | 75342.7 | 2384.44 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UR-20-10p0.cnf | UNSAT | 89511.9 | 2819.87 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/diagnosis/UR-20-10p1.cnf | SAT | 33195.3 | 1067.1 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UR-20-10p1.cnf | SAT | 37209.6 | 1176.93 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UR-20-10p1.cnf | SAT | 72511.3 | 2529.99 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UR-20-10p1.cnf | SAT | 113266 | 3563.41 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-10-5t1.cnf | SAT | 7.8798 | 1.63867 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-10-5t1.cnf | SAT | 36.4215 | 10.8936 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-10-5t1.cnf | SAT | 45.0701 | 8.71271 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-10-5t1.cnf | SAT | 756.923 | 27.534 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-20-10p0.cnf | UNSAT | 11502.2 | 387.329 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-20-10p0.cnf | UNSAT | 11529.2 | 702.309 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-20-10p0.cnf | UNSAT | 12771 | 423.693 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-20-10p0.cnf | UNSAT | 18372.5 | 593.92 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-20-10p1.cnf | SAT | 16806.3 | 548.996 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-20-10p1.cnf | SAT | 24794.5 | 804.359 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-20-10p1.cnf | SAT | 31793.8 | 1378.72 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-20-10p1.cnf | SAT | 38926.7 | 1237.17 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-20-10t0.cnf | UNSAT | 46.7179 | 9.38399 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-20-10t0.cnf | UNSAT | 140.42 | 28.706 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-20-10t0.cnf | UNSAT | 232.881 | 31.8373 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-20-10t0.cnf | UNSAT | 1478.55 | 55.3056 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-20-10t1.cnf | SAT | 35.7416 | 7.2849 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-20-10t1.cnf | SAT | 132.375 | 27.295 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-20-10t1.cnf | SAT | 151.305 | 29.0675 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-20-10t1.cnf | SAT | 1462.74 | 55.3549 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_19_UNKNOWN.cnf | SAT | 162.569 | 10.7493 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_19_UNKNOWN.cnf | SAT | 216.14 | 15.413 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_19_UNKNOWN.cnf | SAT | 332.216 | 15.8382 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_19_UNKNOWN.cnf | UNKNOWN TO | 160005 | 5022.87 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_08_UNSAT.cnf | UNSAT | 17681.4 | 555.856 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_08_UNSAT.cnf | UNSAT | 137812 | 4313.22 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_08_UNSAT.cnf | UNKNOWN TO | 160002 | 5007.25 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_08_UNSAT.cnf | UNKNOWN TO | 160002 | 5007.9 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_09_UNKNOWN.cnf | UNKNOWN TO | 160002 | 5006.64 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_09_UNKNOWN.cnf | UNKNOWN TO | 160003 | 5008.75 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_09_UNKNOWN.cnf | UNKNOWN TO | 160004 | 5008.33 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_09_UNKNOWN.cnf | UNKNOWN TO | 160006 | 5009.94 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_15_SAT.cnf | SAT | 27.6778 | 2.88067 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_15_SAT.cnf | SAT | 45.5931 | 4.42153 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_15_SAT.cnf | SAT | 102.604 | 6.28194 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_15_SAT.cnf | SIGNAL | 13.8239 | 4.14339 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_18_SAT.cnf | SAT | 6.93094 | 4.29997 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_18_SAT.cnf | SAT | 11.7742 | 2.37231 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_18_SAT.cnf | SAT | 59.104 | 5.96446 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_18_SAT.cnf | SAT | 109.466 | 7.08305 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_09_UNSAT.cnf | UNSAT | 140865 | 4410.26 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_09_UNSAT.cnf | UNKNOWN TO | 160002 | 5007.95 | Plingeling | 587f (fixed) APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_09_UNSAT.cnf | UNKNOWN TO | 160003 | 5006.84 | ppfolio | par APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_09_UNSAT.cnf | UNKNOWN TO | 160004 | 5008.28 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-02.cnf | SAT | 31.0083 | 6.37932 | ppfolio | par APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-02.cnf | SAT | 61.6586 | 11.9006 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-02.cnf | SAT | 94.2517 | 17.6486 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-02.cnf | SAT | 680.663 | 31.3873 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-06.cnf | UNSAT | 85900.7 | 2716.02 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-06.cnf | UNSAT | 144379 | 4537.09 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-06.cnf | UNSAT | 156644 | 4915.28 | ppfolio | par APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-06.cnf | UNKNOWN TO | 160003 | 5066.32 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-07.cnf | SAT | 46.8629 | 12.0281 | ppfolio | par APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-07.cnf | SAT | 61.0987 | 10.7461 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-07.cnf | SAT | 639.508 | 43.6784 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-07.cnf | SAT | 1491.09 | 54.1262 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-09.cnf | SAT | 6.09607 | 1.2936 | ppfolio | par APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-09.cnf | SAT | 28.8876 | 5.15076 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-09.cnf | SAT | 32.4281 | 5.69023 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-09.cnf | SAT | 423.85 | 15.8542 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-10.cnf | SAT | 33.5059 | 7.19345 | ppfolio | par APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-10.cnf | SAT | 79.3989 | 13.4682 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-10.cnf | SAT | 259.8 | 28.9626 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-10.cnf | SAT | 1097.85 | 47.5029 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-11.cnf | UNSAT | 666.374 | 26.5379 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-11.cnf | UNSAT | 1020.78 | 38.7234 | ppfolio | par APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-11.cnf | UNSAT | 1342.56 | 48.2823 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-11.cnf | UNSAT | 1439.37 | 55.8596 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-12.cnf | SAT | 4.97524 | 1.02827 | ppfolio | par APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-12.cnf | SAT | 14.7548 | 2.01614 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-12.cnf | SAT | 50.2484 | 4.41751 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-12.cnf | SAT | 205.21 | 9.47328 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-13.cnf | SAT | 36.6624 | 8.21599 | ppfolio | par APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-13.cnf | SAT | 127.496 | 38.7079 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-13.cnf | SAT | 236.698 | 55.3499 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-13.cnf | SAT | 1997.09 | 86.2074 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-15.cnf | SAT | 35.7156 | 4.08594 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-15.cnf | SAT | 51.8021 | 4.78061 | ppfolio | par APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-15.cnf | SAT | 308.429 | 12.133 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-15.cnf | SAT | 380.964 | 16.7028 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-16.cnf | SAT | 17.5503 | 3.57221 | ppfolio | par APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-16.cnf | SAT | 30.3664 | 5.61192 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-16.cnf | SAT | 126.044 | 9.57726 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-16.cnf | SAT | 566.275 | 20.6745 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom12.cnf | UNSAT | 245.137 | 10.2943 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom12.cnf | UNSAT | 608.166 | 19.7797 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom12.cnf | UNSAT | 969.706 | 31.7332 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom12.cnf | UNSAT | 1142.21 | 36.7582 | ppfolio | par APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom13.cnf | UNSAT | 915.033 | 29.7014 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom13.cnf | UNSAT | 950.855 | 33.1749 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom13.cnf | UNSAT | 3260.04 | 103.211 | ppfolio | par APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom13.cnf | UNSAT | 3310.78 | 105.336 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom14.cnf | UNSAT | 6468.32 | 206.481 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom14.cnf | UNSAT | 16617.2 | 521.11 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom14.cnf | UNSAT | 20229.9 | 634.36 | ppfolio | par APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom14.cnf | UNSAT | 51465.9 | 1613.16 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom15.cnf | UNSAT | 58120.8 | 1830.24 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom15.cnf | UNKNOWN TO | 160003 | 5007.04 | ppfolio | par APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom15.cnf | UNKNOWN TO | 160003 | 5009.51 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom15.cnf | UNKNOWN TO | 160003 | 5008.4 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom16.cnf | UNKNOWN TO | 160002 | 5007.34 | ppfolio | par APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom16.cnf | UNKNOWN TO | 160003 | 5009.47 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom16.cnf | UNKNOWN TO | 160003 | 5016.32 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom16.cnf | UNKNOWN TO | 160005 | 5008.92 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom17.cnf | UNKNOWN TO | 156501 | 5100.04 | ppfolio | par APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom17.cnf | UNKNOWN TO | 160004 | 5013.53 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom17.cnf | UNKNOWN TO | 160004 | 5009.53 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom17.cnf | UNKNOWN TO | 160005 | 5009.16 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom18.cnf | UNKNOWN TO | 156092 | 5100.04 | ppfolio | par APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom18.cnf | UNKNOWN TO | 160003 | 5009.64 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom18.cnf | UNKNOWN TO | 160005 | 5014.82 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom18.cnf | UNKNOWN TO | 160005 | 5009.29 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom19.cnf | UNKNOWN TO | 156392 | 5100.04 | ppfolio | par APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom19.cnf | UNKNOWN TO | 160003 | 5016.71 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom19.cnf | UNKNOWN TO | 160004 | 5010.31 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom19.cnf | UNKNOWN TO | 160006 | 5009.52 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom20.cnf | UNKNOWN TO | 156455 | 5100.04 | ppfolio | par APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom20.cnf | UNKNOWN TO | 160002 | 5010.37 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom20.cnf | UNKNOWN TO | 160004 | 5009.72 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom20.cnf | UNKNOWN TO | 160005 | 5019.95 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom21.cnf | UNKNOWN TO | 156163 | 5100.04 | ppfolio | par APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom21.cnf | UNKNOWN TO | 160003 | 5009.75 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom21.cnf | UNKNOWN TO | 160004 | 5010.52 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom21.cnf | UNKNOWN TO | 160004 | 5021.58 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom22.cnf | UNKNOWN TO | 156406 | 5100.04 | ppfolio | par APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom22.cnf | UNKNOWN TO | 160004 | 5010.58 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom22.cnf | UNKNOWN TO | 160005 | 5009.96 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom22.cnf | UNKNOWN TO | 160006 | 5030.43 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom23.cnf | UNKNOWN TO | 156290 | 5100.06 | ppfolio | par APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom23.cnf | UNKNOWN TO | 160003 | 5010.85 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom23.cnf | UNKNOWN TO | 160004 | 5029.7 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom23.cnf | UNKNOWN TO | 160006 | 5010.16 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom24.cnf | UNKNOWN TO | 156417 | 5100.04 | ppfolio | par APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom24.cnf | UNKNOWN TO | 160002 | 5010.97 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom24.cnf | UNKNOWN TO | 160004 | 5010.3 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom24.cnf | UNKNOWN TO | 160006 | 5018.5 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom25.cnf | UNKNOWN TO | 156110 | 5100.04 | ppfolio | par APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom25.cnf | UNKNOWN TO | 160001 | 5011.18 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom25.cnf | UNKNOWN TO | 160004 | 5029.06 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom25.cnf | UNKNOWN TO | 160004 | 5010.31 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom26.cnf | UNKNOWN TO | 156290 | 5100.04 | ppfolio | par APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom26.cnf | UNKNOWN TO | 160003 | 5028.24 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom26.cnf | UNKNOWN TO | 160004 | 5011.77 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom26.cnf | UNKNOWN TO | 160018 | 5021.95 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top21.cnf | UNSAT | 83796 | 2639.53 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top21.cnf | UNKNOWN TO | 156498 | 5100.04 | ppfolio | par APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top21.cnf | UNKNOWN TO | 160003 | 5010.53 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top21.cnf | UNKNOWN TO | 160005 | 5010.14 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top22.cnf | UNKNOWN TO | 155978 | 5100.03 | ppfolio | par APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top22.cnf | UNKNOWN TO | 160004 | 5012.56 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top22.cnf | UNKNOWN TO | 160005 | 5010.67 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top22.cnf | UNKNOWN TO | 160006 | 5017.09 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top23.cnf | SAT | 38269.3 | 1210.89 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top23.cnf | UNKNOWN TO | 156095 | 5100.04 | ppfolio | par APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top23.cnf | UNKNOWN TO | 160004 | 5010.61 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top23.cnf | UNKNOWN TO | 160005 | 5012.54 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top24.cnf | SAT | 4562.96 | 143.746 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top24.cnf | SAT | 61786.2 | 1939.1 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top24.cnf | UNKNOWN TO | 156229 | 5100.04 | ppfolio | par APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top24.cnf | UNKNOWN TO | 160002 | 5014.55 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top25.cnf | SAT | 6133.97 | 194.069 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top25.cnf | SAT | 25991.1 | 818.117 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top25.cnf | SAT | 36291.7 | 1183.53 | ppfolio | par APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top25.cnf | SAT | 79100.4 | 2481.4 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top26.cnf | SAT | 4363.07 | 141.456 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top26.cnf | SAT | 8176.1 | 258.67 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top26.cnf | SAT | 13033.7 | 426.756 | ppfolio | par APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top26.cnf | SAT | 16167 | 511.377 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top28.cnf | SAT | 5714.58 | 188.669 | ppfolio | par APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top28.cnf | SAT | 7501.12 | 241.581 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top28.cnf | SAT | 10608.6 | 337.749 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top28.cnf | SAT | 15592.4 | 493.304 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top29.cnf | SAT | 3348.83 | 110.796 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top29.cnf | SAT | 4415.1 | 142.646 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top29.cnf | SAT | 4871.27 | 164.054 | ppfolio | par APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top29.cnf | SAT | 20671.7 | 653.091 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top30.cnf | SAT | 459.618 | 19.3743 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top30.cnf | SAT | 4988.06 | 165.111 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top30.cnf | SAT | 5075.55 | 164.94 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top30.cnf | SAT | 8185.15 | 270.958 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-13-step17.cnf | UNSAT | 2613.64 | 84.787 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-13-step17.cnf | UNSAT | 2934.52 | 99.7281 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-13-step17.cnf | UNSAT | 5697.34 | 181.023 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-13-step17.cnf | UNSAT | 7234.36 | 228.216 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-17-step20.cnf | UNSAT | 3409.96 | 125.573 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-17-step20.cnf | UNSAT | 3929.72 | 127.845 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-17-step20.cnf | UNSAT | 4263.68 | 136.824 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-17-step20.cnf | UNSAT | 5276.51 | 172.354 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-17-step21.cnf | SAT | 1036.55 | 40.8343 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-17-step21.cnf | SAT | 1958.72 | 65.122 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-17-step21.cnf | SAT | 1996.1 | 86.3204 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-17-step21.cnf | SAT | 6299.19 | 202.918 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-12-step15.cnf | UNSAT | 413.653 | 53.9443 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-12-step15.cnf | UNSAT | 497.783 | 23.9399 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-12-step15.cnf | UNSAT | 821.179 | 36.8928 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-12-step15.cnf | UNSAT | 1704.3 | 62.9937 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-12-step16.cnf | SAT | 265.047 | 16.9468 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-12-step16.cnf | SAT | 470.142 | 61.9839 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-12-step16.cnf | SAT | 663.856 | 25.786 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-12-step16.cnf | SAT | 941.251 | 42.0035 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-18-step15.cnf | UNSAT | 80.8837 | 20.1702 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-18-step15.cnf | UNSAT | 559.149 | 50.3447 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-18-step15.cnf | UNSAT | 925.982 | 218.776 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-18-step15.cnf | UNSAT | 969.06 | 43.3193 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-18-step16.cnf | SAT | 817.196 | 52.2169 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-18-step16.cnf | SAT | 1167.57 | 72.7187 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-18-step16.cnf | SAT | 1269.29 | 267.295 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-18-step16.cnf | SAT | 1653 | 62.9781 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-27-step13.cnf | UNSAT | 450.455 | 62.4132 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-27-step13.cnf | UNSAT | 1950.78 | 127.562 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-27-step13.cnf | UNSAT | 2420.93 | 97.6294 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-27-step13.cnf | UNSAT | 2983.63 | 699.277 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-27-step14.cnf | SAT | 958.862 | 89.572 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-27-step14.cnf | SAT | 1937.8 | 85.1786 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-27-step14.cnf | SAT | 3262.93 | 178.238 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-27-step14.cnf | SAT | 3694.92 | 794.825 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf | UNSAT | 258.426 | 10.6973 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf | UNSAT | 414.878 | 28.1665 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf | UNSAT | 775.062 | 28.0136 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf | UNSAT | 89751.1 | 2818.19 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf | SAT | 6.72498 | 1.36836 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf | SAT | 8.06477 | 4.06535 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf | SAT | 21.0098 | 5.02646 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf | SAT | 450.558 | 31.036 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-TPP-21-step11.cnf | UNSAT | 6000.93 | 199.148 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-TPP-21-step11.cnf | UNSAT | 7717.17 | 247.31 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-TPP-21-step11.cnf | UNSAT | 10089.3 | 323.387 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-TPP-21-step11.cnf | UNSAT | 19958.2 | 635.82 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-TPP-30-step11.cnf | SAT | 566.532 | 87.7034 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-TPP-30-step11.cnf | SAT | 717.616 | 51.0033 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-TPP-30-step11.cnf | SAT | 1031.48 | 43.7272 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-TPP-30-step11.cnf | SAT | 2232.41 | 112.775 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf | UNSAT | 12.3311 | 2.48728 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf | UNSAT | 13.167 | 2.17547 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf | UNSAT | 30.9843 | 4.24835 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf | UNSAT | 607.791 | 21.1064 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf | UNSAT | 809.361 | 32.4801 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf | UNSAT | 1696.24 | 62.5755 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf | UNSAT | 3394.83 | 111.216 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf | UNSAT | 5306.17 | 169.493 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf | UNSAT | 5926.9 | 191.936 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf | UNSAT | 67557.2 | 2115.66 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf | UNSAT | 68794 | 2156.04 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf | UNKNOWN TO | 160005 | 5009.36 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf | UNSAT | 5055.9 | 163.675 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf | UNSAT | 6711.48 | 230.61 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf | UNSAT | 8102.75 | 257.422 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf | UNSAT | 14446 | 456.246 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf | UNSAT | 70467.6 | 2215.46 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf | UNSAT | 75738.9 | 2385.77 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf | UNKNOWN TO | 160001 | 5009.34 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf | UNKNOWN TO | 160004 | 5010.86 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf | UNSAT | 30.5404 | 6.19721 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf | UNSAT | 50.1024 | 6.18024 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf | UNSAT | 286.022 | 18.1542 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf | UNSAT | 1103.23 | 40.1319 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf | UNSAT | 131.514 | 8.38552 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf | UNSAT | 449.597 | 20.4677 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf | UNSAT | 730.604 | 32.0267 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf | UNSAT | 1635.68 | 55.402 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf | UNSAT | 100.686 | 5.93774 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf | UNSAT | 321.923 | 13.9589 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf | UNSAT | 446.721 | 19.5269 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf | UNSAT | 1323.5 | 43.5547 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf | UNSAT | 753.096 | 26.9155 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf | UNSAT | 1096.95 | 39.9567 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf | UNSAT | 1529.77 | 52.0454 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf | UNSAT | 2040.9 | 71.693 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf | UNSAT | 31478.4 | 994.32 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf | UNKNOWN TO | 160001 | 5012.04 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf | UNKNOWN TO | 160004 | 5011.34 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf | UNKNOWN TO | 160005 | 5011.25 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf | UNSAT | 3474.22 | 117.554 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf | UNSAT | 4436.47 | 163.566 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf | UNSAT | 4902 | 159.575 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf | UNSAT | 7424.74 | 238.079 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf | UNSAT | 9.05462 | 1.82739 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf | UNSAT | 16.0466 | 2.50869 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf | UNSAT | 65.1201 | 5.93768 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf | UNSAT | 669.96 | 23.1251 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf | UNSAT | 9.81351 | 1.97981 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf | UNSAT | 15.0307 | 2.65586 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf | UNSAT | 76.5074 | 6.25602 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf | UNSAT | 663.094 | 23.1239 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf | UNSAT | 235.625 | 9.86998 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf | UNSAT | 600.608 | 21.702 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf | UNSAT | 624.189 | 23.5812 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf | UNSAT | 1514.43 | 52.0761 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf | UNSAT | 18047.5 | 573.323 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf | UNSAT | 27172.7 | 857.35 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf | UNKNOWN TO | 160002 | 5018.69 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf | UNKNOWN TO | 160003 | 5013.54 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf | UNSAT | 5.9421 | 1.19939 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf | UNSAT | 7.16791 | 1.8267 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf | UNSAT | 7.71283 | 3.05202 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf | UNSAT | 67.7437 | 2.94896 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf | UNSAT | 4851.74 | 155.268 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf | UNSAT | 6000.29 | 198.613 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf | UNSAT | 8319.61 | 265.433 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf | UNSAT | 16368.1 | 515.875 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf | UNSAT | 77.7602 | 8.6794 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf | UNSAT | 85.0431 | 6.79813 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf | UNSAT | 678.093 | 29.8837 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf | UNSAT | 864.992 | 32.0396 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf | UNSAT | 1027.5 | 36.1952 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf | UNSAT | 1231.89 | 45.2071 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf | UNSAT | 1373.34 | 47.1605 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf | UNSAT | 2015.45 | 73.5976 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf | UNSAT | 166.111 | 8.44105 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf | UNSAT | 734.354 | 27.6224 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf | UNSAT | 786.976 | 31.304 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf | UNSAT | 873.503 | 30.7096 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf | UNSAT | 35489.3 | 1121.4 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf | UNKNOWN TO | 160001 | 5013.23 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf | UNKNOWN TO | 160005 | 5012.26 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf | UNKNOWN TO | 160022 | 5037.61 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf | SAT | 13.437 | 2.95822 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf | SAT | 46.6079 | 7.59773 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf | SAT | 264.622 | 20.2133 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf | SAT | 1412.52 | 50.0253 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf | SAT | 16.6365 | 3.69828 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf | SAT | 442.404 | 29.5371 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf | SAT | 1531.55 | 57.1849 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf | SIGNAL | 68.7655 | 13.6981 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf | SAT | 12.4591 | 2.71724 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf | SAT | 265.002 | 17.6928 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf | SAT | 808.839 | 30.3675 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf | SIGNAL | 41.0838 | 8.49442 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-countbits128-tseitin.cnf | UNSAT | 122099 | 3854.38 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-countbits128-tseitin.cnf | UNKNOWN TO | 160003 | 5009.14 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-countbits128-tseitin.cnf | UNKNOWN TO | 160003 | 5009.34 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-countbits128-tseitin.cnf | UNKNOWN TO | 160006 | 5018.81 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf | UNSAT | 4.34934 | 0.883427 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf | UNSAT | 11.7422 | 1.04677 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf | UNSAT | 167.865 | 6.99597 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf | UNSAT | 2455.37 | 78.7408 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf | UNSAT | 35.6086 | 7.15694 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf | UNSAT | 76.1214 | 9.03272 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf | UNSAT | 934.674 | 47.0534 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf | UNSAT | 4388.99 | 152.727 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf | UNSAT | 481.092 | 19.6422 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf | UNSAT | 600.457 | 31.6139 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf | UNSAT | 964.899 | 39.1119 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf | UNSAT | 2573.32 | 102.914 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf | UNSAT | 120.724 | 11.7072 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf | UNSAT | 277.576 | 24.9275 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf | UNSAT | 1177.95 | 60.0564 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf | UNSAT | 4130.8 | 167.167 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-nlzbe256-tseitin.cnf | UNSAT | 73.0499 | 14.6708 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-nlzbe256-tseitin.cnf | UNSAT | 88.6525 | 21.3408 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-nlzbe256-tseitin.cnf | UNSAT | 610.083 | 39.6721 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-nlzbe256-tseitin.cnf | UNSAT | 3287.59 | 109.505 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf | SAT | 7.52085 | 1.68626 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf | SAT | 25.4971 | 2.38215 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf | SAT | 50.0494 | 15.9528 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf | SAT | 939.953 | 40.7877 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf | SAT | 9.68553 | 2.22015 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf | SAT | 32.562 | 3.19137 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf | SAT | 1256.26 | 62.2399 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf | UNKNOWN TO | 160005 | 5018.63 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf | SAT | 10.7764 | 2.39994 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf | SAT | 46.155 | 7.41198 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf | SAT | 69.7434 | 12.1511 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf | SAT | 924.647 | 33.9131 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf | UNKNOWN TO | 160002 | 5015.96 | ppfolio | par APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf | UNKNOWN TO | 160004 | 5020.38 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf | UNKNOWN TO | 160004 | 5023.48 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf | UNKNOWN TO | 160014 | 5021.06 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/128/aes_128_10_keyfind_1.cnf | UNKNOWN TO | 160002 | 5007.35 | ppfolio | par APPLICATION | SAT11/application/kullmann/AES/Benchmarks/128/aes_128_10_keyfind_1.cnf | UNKNOWN TO | 160002 | 5009.35 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/128/aes_128_10_keyfind_1.cnf | UNKNOWN TO | 160003 | 5008.81 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/128/aes_128_10_keyfind_1.cnf | UNKNOWN TO | 160006 | 5010.02 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/128/aes_128_1_keyfind_1.cnf | UNKNOWN TO | 160003 | 5008.28 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/128/aes_128_1_keyfind_1.cnf | UNKNOWN TO | 160003 | 5005.94 | ppfolio | par APPLICATION | SAT11/application/kullmann/AES/Benchmarks/128/aes_128_1_keyfind_1.cnf | UNKNOWN TO | 160003 | 5006.42 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/128/aes_128_1_keyfind_1.cnf | UNKNOWN TO | 160003 | 5007.59 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/128/aes_128_2_keyfind_1.cnf | UNKNOWN TO | 160001 | 5007.57 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/128/aes_128_2_keyfind_1.cnf | UNKNOWN TO | 160001 | 5006.16 | ppfolio | par APPLICATION | SAT11/application/kullmann/AES/Benchmarks/128/aes_128_2_keyfind_1.cnf | UNKNOWN TO | 160003 | 5008.25 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/128/aes_128_2_keyfind_1.cnf | UNKNOWN TO | 160005 | 5007.06 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/128/aes_128_3_keyfind_1.cnf | UNKNOWN TO | 160002 | 5006.44 | ppfolio | par APPLICATION | SAT11/application/kullmann/AES/Benchmarks/128/aes_128_3_keyfind_1.cnf | UNKNOWN TO | 160002 | 5008.16 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/128/aes_128_3_keyfind_1.cnf | UNKNOWN TO | 160003 | 5008.78 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/128/aes_128_3_keyfind_1.cnf | UNKNOWN TO | 160003 | 5007.4 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_1_keyfind_1.cnf | SAT | 0.130979 | 0.0409279 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_1_keyfind_1.cnf | SAT | 0.150976 | 0.058698 | ppfolio | par APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_1_keyfind_1.cnf | SAT | 3.2455 | 0.264701 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_1_keyfind_1.cnf | SAT | 6.30804 | 0.247045 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_2_keyfind_1.cnf | SAT | 9.64353 | 0.384799 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_2_keyfind_1.cnf | SAT | 15.4746 | 0.695768 | ppfolio | par APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_2_keyfind_1.cnf | SAT | 30.4474 | 1.07657 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_2_keyfind_1.cnf | SAT | 65.2211 | 2.12161 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_3_keyfind_1.cnf | SAT | 740.572 | 23.5714 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_3_keyfind_1.cnf | SAT | 2582.64 | 80.975 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_3_keyfind_1.cnf | SAT | 6235.56 | 195.544 | ppfolio | par APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_3_keyfind_1.cnf | SAT | 7643.01 | 251.168 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_4_keyfind_1.cnf | UNKNOWN TO | 160001 | 5005.74 | ppfolio | par APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_4_keyfind_1.cnf | UNKNOWN TO | 160002 | 5006.18 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_4_keyfind_1.cnf | UNKNOWN TO | 160003 | 5006.86 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_4_keyfind_1.cnf | UNKNOWN TO | 160004 | 5006.85 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_5_keyfind_1.cnf | SAT | 66518.3 | 2081.47 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_5_keyfind_1.cnf | UNKNOWN TO | 160002 | 5005.74 | ppfolio | par APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_5_keyfind_1.cnf | UNKNOWN TO | 160003 | 5006.24 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_5_keyfind_1.cnf | UNKNOWN TO | 160004 | 5006.79 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/64/aes_64_1_keyfind_1.cnf | SAT | 1252.79 | 39.3422 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/64/aes_64_1_keyfind_1.cnf | SAT | 2150.4 | 67.9931 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/64/aes_64_1_keyfind_1.cnf | SAT | 5298.94 | 166.05 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/64/aes_64_1_keyfind_1.cnf | SAT | 20810.1 | 651.663 | ppfolio | par APPLICATION | SAT11/application/kullmann/AES/Benchmarks/64/aes_64_2_keyfind_1.cnf | UNKNOWN TO | 160002 | 5005.73 | ppfolio | par APPLICATION | SAT11/application/kullmann/AES/Benchmarks/64/aes_64_2_keyfind_1.cnf | UNKNOWN TO | 160003 | 5008.26 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/64/aes_64_2_keyfind_1.cnf | UNKNOWN TO | 160004 | 5007.09 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/64/aes_64_2_keyfind_1.cnf | UNKNOWN TO | 160005 | 5006.47 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/64/aes_64_3_keyfind_1.cnf | UNKNOWN TO | 160002 | 5006.67 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/64/aes_64_3_keyfind_1.cnf | UNKNOWN TO | 160003 | 5006.92 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/64/aes_64_3_keyfind_1.cnf | UNKNOWN TO | 160004 | 5005.84 | ppfolio | par APPLICATION | SAT11/application/kullmann/AES/Benchmarks/64/aes_64_3_keyfind_1.cnf | UNKNOWN TO | 160005 | 5010.68 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/64/aes_64_4_keyfind_1.cnf | UNKNOWN TO | 160001 | 5007.65 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/64/aes_64_4_keyfind_1.cnf | UNKNOWN TO | 160002 | 5005.84 | ppfolio | par APPLICATION | SAT11/application/kullmann/AES/Benchmarks/64/aes_64_4_keyfind_1.cnf | UNKNOWN TO | 160003 | 5006.74 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/kullmann/AES/Benchmarks/64/aes_64_4_keyfind_1.cnf | UNKNOWN TO | 160004 | 5007.09 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E00N23.cnf | UNKNOWN TO | 158260 | 5103.11 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E00N23.cnf | UNKNOWN TO | 160002 | 5068.77 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E00N23.cnf | UNKNOWN TO | 160002 | 5047.86 | ppfolio | par APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E00N23.cnf | UNKNOWN TO | 160005 | 5022.23 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E00X23.cnf | UNKNOWN TO | 158322 | 5103.05 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E00X23.cnf | UNKNOWN TO | 160003 | 5063.48 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E00X23.cnf | UNKNOWN TO | 160004 | 5044.66 | ppfolio | par APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E00X23.cnf | UNKNOWN TO | 160006 | 5021.96 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E02F17.cnf | UNSAT | 195.187 | 7.57275 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E02F17.cnf | UNSAT | 316.895 | 12.3692 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E02F17.cnf | UNSAT | 598.451 | 20.4168 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E02F17.cnf | UNSAT | 789.23 | 25.8727 | ppfolio | par APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E02F20.cnf | SAT | 697.813 | 42.6779 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E02F20.cnf | SAT | 844.694 | 32.9906 | ppfolio | par APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E02F20.cnf | SAT | 2691.12 | 93.8011 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E02F20.cnf | SAT | 7760.67 | 258.534 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E02F22.cnf | SAT | 3777.08 | 258.655 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E02F22.cnf | SAT | 4544.43 | 166.47 | ppfolio | par APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E02F22.cnf | SAT | 5897.94 | 219.688 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E02F22.cnf | SAT | 51049.2 | 1873.14 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E03N17.cnf | UNSAT | 8.25274 | 1.66802 | ppfolio | par APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E03N17.cnf | UNSAT | 14.8417 | 1.94696 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E03N17.cnf | UNSAT | 49.8874 | 3.50195 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E03N17.cnf | UNSAT | 100.301 | 4.94302 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E04F19.cnf | SAT | 639.158 | 33.8615 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E04F19.cnf | SAT | 646.007 | 25.7268 | ppfolio | par APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E04F19.cnf | SAT | 1042.11 | 40.4798 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E04F19.cnf | SAT | 3518.22 | 123.419 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E04F20.cnf | SAT | 353.935 | 49.9879 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E04F20.cnf | SAT | 1316.51 | 55.4513 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E04F20.cnf | SAT | 1489.42 | 55.8263 | ppfolio | par APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E04F20.cnf | SAT | 4101.8 | 169.872 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E04N18.cnf | UNSAT | 7.8888 | 2.86633 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E04N18.cnf | UNSAT | 8.43772 | 2.15339 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E04N18.cnf | UNSAT | 24.6063 | 2.75545 | ppfolio | par APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E04N18.cnf | UNSAT | 103.921 | 5.7457 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E05F18.cnf | SAT | 188.113 | 8.78861 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E05F18.cnf | SAT | 194.941 | 8.28427 | ppfolio | par APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E05F18.cnf | SAT | 224.798 | 10.5194 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E05F18.cnf | SAT | 253.914 | 11.6976 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf | SAT | 731.075 | 35.3853 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf | SAT | 780.386 | 59.5105 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf | SAT | 1148.83 | 44.5459 | ppfolio | par APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf | SAT | 7038.78 | 253.786 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E05X15.cnf | UNSAT | 205.686 | 7.56134 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E05X15.cnf | UNSAT | 217.09 | 8.00846 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E05X15.cnf | UNSAT | 225.024 | 7.7443 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E05X15.cnf | UNSAT | 229.912 | 8.04922 | ppfolio | par APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E07N15.cnf | UNSAT | 0.054991 | 0.0568899 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E07N15.cnf | UNSAT | 0.174972 | 0.0431429 | ppfolio | par APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E07N15.cnf | UNSAT | 1.13983 | 1.13451 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E07N15.cnf | UNSAT | 3.11652 | 0.189578 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E15N15.cnf | UNSAT | 0.05899 | 0.0609041 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E15N15.cnf | UNSAT | 0.108983 | 0.0439139 | ppfolio | par APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E15N15.cnf | UNSAT | 1.24181 | 1.22507 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E15N15.cnf | UNSAT | 4.10438 | 0.220773 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/korf-15.cnf | UNSAT | 100.517 | 3.96848 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/korf-15.cnf | UNSAT | 110.63 | 4.36219 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/korf-15.cnf | UNSAT | 165.604 | 6.00537 | ppfolio | par APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/korf-15.cnf | UNSAT | 270.842 | 9.66319 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/korf-17.cnf | UNSAT | 4721.17 | 150.265 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/korf-17.cnf | UNSAT | 12542.5 | 394.347 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/korf-17.cnf | UNSAT | 18059.3 | 566.644 | ppfolio | par APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/korf-17.cnf | UNSAT | 30495.3 | 957.866 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/korf-18.cnf | UNSAT | 10532 | 337.491 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/korf-18.cnf | UNSAT | 19309.9 | 615.883 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/korf-18.cnf | UNSAT | 53265 | 1669.93 | ppfolio | par APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/korf-18.cnf | UNSAT | 54316.6 | 1706.45 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_3b_unknown.cnf | UNSAT | 2932.51 | 98.4583 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_3b_unknown.cnf | UNSAT | 7515.38 | 245.584 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_3b_unknown.cnf | UNSAT | 14463.5 | 459.877 | ppfolio | par APPLICATION | SAT11/application/manthey/traffic/traffic_3b_unknown.cnf | UNSAT | 19004.1 | 730.697 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_3_uc_sat.cnf | SAT | 1011.01 | 60.1739 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_3_uc_sat.cnf | SAT | 1072.47 | 50.7255 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_3_uc_sat.cnf | SAT | 1497.07 | 91.7429 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_3_uc_sat.cnf | SAT | 2524.82 | 100.768 | ppfolio | par APPLICATION | SAT11/application/manthey/traffic/traffic_b_unsat.cnf | UNSAT | 2684.29 | 98.7634 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_b_unsat.cnf | UNSAT | 6798.8 | 226.692 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_b_unsat.cnf | UNSAT | 13009.1 | 417.029 | ppfolio | par APPLICATION | SAT11/application/manthey/traffic/traffic_b_unsat.cnf | UNSAT | 16695.4 | 629.046 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_fb_unknown.cnf | UNSAT | 2592.97 | 97.0914 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_fb_unknown.cnf | UNSAT | 6122.8 | 206.502 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_fb_unknown.cnf | UNSAT | 12245.7 | 395.575 | ppfolio | par APPLICATION | SAT11/application/manthey/traffic/traffic_fb_unknown.cnf | UNSAT | 16649.1 | 603.025 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_f_unknown.cnf | UNSAT | 3137.1 | 113.583 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_f_unknown.cnf | UNSAT | 7341.15 | 243.761 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_f_unknown.cnf | UNSAT | 11177.9 | 360.479 | ppfolio | par APPLICATION | SAT11/application/manthey/traffic/traffic_f_unknown.cnf | UNSAT | 16794.6 | 617.086 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_kkb_unknown.cnf | UNSAT | 2815.09 | 102.08 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_kkb_unknown.cnf | UNSAT | 6878.21 | 229.961 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_kkb_unknown.cnf | UNSAT | 12335.5 | 396.94 | ppfolio | par APPLICATION | SAT11/application/manthey/traffic/traffic_kkb_unknown.cnf | UNSAT | 16780.4 | 602.467 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_pcb_unknown.cnf | UNSAT | 3081.42 | 114.608 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_pcb_unknown.cnf | UNSAT | 6598.04 | 222.106 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_pcb_unknown.cnf | UNSAT | 12575.9 | 403.732 | ppfolio | par APPLICATION | SAT11/application/manthey/traffic/traffic_pcb_unknown.cnf | UNSAT | 16436.9 | 616.367 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_r_sat.cnf | SAT | 98.983 | 20.0206 | ppfolio | par APPLICATION | SAT11/application/manthey/traffic/traffic_r_sat.cnf | SAT | 183.335 | 71.0907 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_r_sat.cnf | SAT | 372.015 | 53.0623 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_r_sat.cnf | SAT | 1062.58 | 94.2919 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_r_uc_sat.cnf | SAT | 8923.25 | 381.544 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_r_uc_sat.cnf | SAT | 9416.12 | 367.167 | ppfolio | par APPLICATION | SAT11/application/manthey/traffic/traffic_r_uc_sat.cnf | SAT | 10298 | 377.22 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/manthey/traffic/traffic_r_uc_sat.cnf | SAT | 12111.2 | 502.709 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.120-NOTKNOWN.cnf | UNSAT | 15030 | 904.942 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.120-NOTKNOWN.cnf | UNSAT | 29142.3 | 1003.03 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.120-NOTKNOWN.cnf | UNSAT | 44086.2 | 1545.1 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.120-NOTKNOWN.cnf | UNSAT | 66839 | 2199.76 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.160-NOTKNOWN.cnf | SAT | 145.681 | 37.115 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.160-NOTKNOWN.cnf | SAT | 1347.5 | 187.195 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.160-NOTKNOWN.cnf | SAT | 2656.56 | 124.801 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.160-NOTKNOWN.cnf | SAT | 3788.14 | 900.913 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.170-NOTKNOWN.cnf | SAT | 460.893 | 115.966 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.170-NOTKNOWN.cnf | SAT | 1347.96 | 198.086 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.170-NOTKNOWN.cnf | SAT | 2693.04 | 130.377 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.170-NOTKNOWN.cnf | SAT | 4176.09 | 1013.13 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.180-SAT.cnf | SAT | 258.713 | 65.4862 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.180-SAT.cnf | SAT | 806.597 | 191.547 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.180-SAT.cnf | SAT | 3017.79 | 142.962 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.180-SAT.cnf | SAT | 5604.44 | 1142.62 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.120-NOTKNOWN.cnf | UNSAT | 1219.65 | 120.781 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.120-NOTKNOWN.cnf | UNSAT | 2985.24 | 582.904 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.120-NOTKNOWN.cnf | UNSAT | 4329.66 | 244.806 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.120-NOTKNOWN.cnf | UNSAT | 4572.64 | 173.838 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.130-NOTKNOWN.cnf | UNSAT | 11749.7 | 957.58 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.130-NOTKNOWN.cnf | UNSAT | 19373.4 | 671.465 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.130-NOTKNOWN.cnf | UNSAT | 28074.7 | 1036.9 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.130-NOTKNOWN.cnf | UNSAT | 31678 | 1112.15 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.150-SAT.cnf | SAT | 341.683 | 86.0747 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.150-SAT.cnf | SAT | 1945.57 | 207.853 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.150-SAT.cnf | SAT | 3278.34 | 142.063 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.150-SAT.cnf | SAT | 4144.58 | 919.793 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-3.035-NOTKNOWN.cnf | UNSAT | 6881.08 | 234.165 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-3.035-NOTKNOWN.cnf | UNSAT | 8636.26 | 1767.75 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-3.035-NOTKNOWN.cnf | UNSAT | 8874.13 | 287.531 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-3.035-NOTKNOWN.cnf | UNSAT | 15547.3 | 515.572 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-4.025-NOTKNOWN.cnf | UNSAT | 85.1421 | 17.0755 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-4.025-NOTKNOWN.cnf | UNSAT | 949.652 | 61.5295 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-4.025-NOTKNOWN.cnf | UNSAT | 1157.23 | 43.883 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-4.025-NOTKNOWN.cnf | UNSAT | 5436.75 | 1381.95 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf | UNSAT | 50676.1 | 1620.85 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf | UNKNOWN TO | 160003 | 5009.84 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf | UNKNOWN TO | 160004 | 5028.52 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf | UNKNOWN TO | 160046 | 5125.99 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf | UNKNOWN TO | 158935 | 5102.41 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf | UNKNOWN TO | 158956 | 5103.92 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf | UNKNOWN TO | 159679 | 5112.54 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf | UNKNOWN TO | 160002 | 5012.54 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf | UNKNOWN TO | 150500 | 5111.48 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf | UNKNOWN TO | 156488 | 5105.31 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf | UNKNOWN TO | 158742 | 5101.97 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf | UNKNOWN TO | 160003 | 5013.94 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf | UNSAT | 56366.2 | 1799.87 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf | UNKNOWN TO | 160003 | 5010.14 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf | UNKNOWN TO | 160004 | 5043.69 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf | UNKNOWN TO | 160006 | 5031.9 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf | UNKNOWN TO | 158322 | 5102.49 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf | UNKNOWN TO | 158916 | 5103.89 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf | UNKNOWN TO | 159880 | 5112.8 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf | UNKNOWN TO | 160001 | 5012.24 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf | UNKNOWN TO | 149982 | 5110.91 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf | UNKNOWN TO | 156344 | 5105.12 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf | UNKNOWN TO | 158720 | 5102.21 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf | UNKNOWN TO | 160003 | 5014.44 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf | SAT | 542.332 | 41.6148 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf | SAT | 751.904 | 43.0768 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf | SAT | 1179.6 | 46.4484 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf | SAT | 3625.89 | 893.826 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf | UNSAT | 637.149 | 60.6821 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf | UNSAT | 651.142 | 27.2914 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf | UNSAT | 1721.64 | 63.7238 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf | UNSAT | 1730.84 | 56.792 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf | UNSAT | 12701.5 | 463.087 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf | UNSAT | 15587.5 | 497.995 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf | UNSAT | 41632.7 | 1383.93 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf | UNSAT | 93754.6 | 2948.69 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf | SAT | 36639.2 | 1160.48 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf | SAT | 41830.1 | 1350.43 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf | UNKNOWN TO | 159480 | 5103.31 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf | UNKNOWN TO | 160002 | 5028.85 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf | SAT | 18152.8 | 585.495 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf | SAT | 77569.1 | 2542.1 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf | UNKNOWN TO | 158327 | 5103.36 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf | UNKNOWN TO | 160002 | 5030.95 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf | SAT | 24553.6 | 789.467 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf | UNKNOWN TO | 157155 | 5103.38 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf | UNKNOWN TO | 160003 | 5035.02 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf | UNKNOWN TO | 160005 | 5071.62 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.080-SAT.cnf | SAT | 26196.5 | 843.335 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.080-SAT.cnf | SAT | 27788.9 | 917.443 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.080-SAT.cnf | UNKNOWN TO | 155952 | 5103.74 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.080-SAT.cnf | UNKNOWN TO | 160003 | 5039.63 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf | SAT | 2239.87 | 116.1 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf | SAT | 3636.74 | 844.567 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf | SAT | 13201.3 | 492.989 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf | UNKNOWN MO | 19698.8 | 757.574 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf | SAT | 12088.2 | 457.492 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf | SAT | 22369.4 | 2797.01 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf | SAT | 105621 | 3401.31 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf | UNKNOWN MO | 63442.1 | 6525.75 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf | SAT | 20626.8 | 777.6 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf | SAT | 41104.6 | 4551.4 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf | UNKNOWN MO | 23716.5 | 1300.56 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf | UNKNOWN TO | 158596 | 5101.98 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf | SAT | 5148.61 | 278.26 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf | UNKNOWN TO | 21869.7 | 5102.42 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf | UNKNOWN MO | 85328 | 9709.35 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf | UNKNOWN TO | 157765 | 5101.95 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf | SAT | 2339.87 | 89.3329 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf | SAT | 7534.32 | 290.929 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf | SAT | 44630.4 | 2621.43 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf | SAT | 101061 | 3237.44 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf | SAT | 98266.1 | 3353.12 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf | UNKNOWN TO | 58689.8 | 5104.02 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf | UNKNOWN MO | 101948 | 10338.5 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf | UNKNOWN TO | 159276 | 5102.11 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf | UNKNOWN TO | 20522 | 5102.18 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf | UNKNOWN MO | 29287.9 | 1387.14 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf | UNKNOWN TO | 149771 | 5100.03 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf | UNKNOWN TO | 157895 | 5102.11 | Plingeling | 587f (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf | SAT | 1856.09 | 74.3475 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf | SAT | 2292.5 | 107.855 | ppfolio | par APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf | SAT | 4094.56 | 887.728 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf | SAT | 12890.2 | 463.226 | Plingeling | 587f (fixed) APPLICATION | SAT_RACE06/ibm-2002-21r-k95.cnf | SAT | 27.0629 | 5.75422 | ppfolio | par APPLICATION | SAT_RACE06/ibm-2002-21r-k95.cnf | SAT | 172.135 | 13.2343 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT_RACE06/ibm-2002-21r-k95.cnf | SAT | 565.602 | 30.4816 | Plingeling | 587f (fixed) APPLICATION | SAT_RACE06/ibm-2002-21r-k95.cnf | SAT | 2411.54 | 100.828 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT_RACE06/velev-npe-1.0-9dlx-b71.cnf | SAT | 264.451 | 67.0413 | ppfolio | par APPLICATION | SAT_RACE06/velev-npe-1.0-9dlx-b71.cnf | SAT | 3251.84 | 349.634 | Plingeling | 587f (fixed) APPLICATION | SAT_RACE06/velev-npe-1.0-9dlx-b71.cnf | UNKNOWN TO | 20467.7 | 5102.46 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT_RACE06/velev-npe-1.0-9dlx-b71.cnf | UNKNOWN TO | 33705.6 | 5103.51 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT_RACE06/velev-pipe-o-uns-1.0-7.cnf | UNSAT | 1825.13 | 63.551 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT_RACE06/velev-pipe-o-uns-1.0-7.cnf | UNSAT | 1858.98 | 86.5109 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT_RACE06/velev-pipe-o-uns-1.0-7.cnf | UNSAT | 2214.24 | 78.9262 | Plingeling | 587f (fixed) APPLICATION | SAT_RACE06/velev-pipe-o-uns-1.0-7.cnf | UNSAT | 4797.1 | 156.363 | ppfolio | par APPLICATION | SAT_RACE06/velev-pipe-o-uns-1.1-6.cnf | UNSAT | 383.181 | 14.7883 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT_RACE06/velev-pipe-o-uns-1.1-6.cnf | UNSAT | 579.616 | 23.0358 | Plingeling | 587f (fixed) APPLICATION | SAT_RACE06/velev-pipe-o-uns-1.1-6.cnf | UNSAT | 680.201 | 33.5338 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT_RACE06/velev-pipe-o-uns-1.1-6.cnf | UNSAT | 936.302 | 32.5267 | ppfolio | par APPLICATION | SAT_RACE06/velev-pipe-sat-1.0-b9.cnf | SAT | 194.519 | 49.1292 | ppfolio | par APPLICATION | SAT_RACE06/velev-pipe-sat-1.0-b9.cnf | SAT | 556.057 | 126.478 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT_RACE06/velev-pipe-sat-1.0-b9.cnf | SAT | 1161.68 | 158.92 | Plingeling | 587f (fixed) APPLICATION | SAT_RACE06/velev-pipe-sat-1.0-b9.cnf | SAT | 17998.7 | 641.07 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT_RACE08/cnf/ibm-2002-30r-k85.cnf | SAT | 8836.06 | 287.064 | ppfolio | par APPLICATION | SAT_RACE08/cnf/ibm-2002-30r-k85.cnf | SAT | 9934.42 | 325.828 | Plingeling | 587f (fixed) APPLICATION | SAT_RACE08/cnf/ibm-2002-30r-k85.cnf | SAT | 26535.6 | 843.379 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT_RACE08/cnf/ibm-2002-30r-k85.cnf | SAT | 43956.8 | 1389.54 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT_RACE08/cnf/ibm-2004-01-k90.cnf | SAT | 278.096 | 12.2853 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT_RACE08/cnf/ibm-2004-01-k90.cnf | SAT | 530.542 | 23.2114 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT_RACE08/cnf/ibm-2004-01-k90.cnf | SAT | 566.413 | 22.9044 | Plingeling | 587f (fixed) APPLICATION | SAT_RACE08/cnf/ibm-2004-01-k90.cnf | SAT | 622.949 | 23.1233 | ppfolio | par APPLICATION | SAT_RACE08/cnf/ibm-2004-23-k100.cnf | SAT | 3010.78 | 104.736 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT_RACE08/cnf/ibm-2004-23-k100.cnf | SAT | 6618.26 | 255.724 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT_RACE08/cnf/ibm-2004-23-k100.cnf | SAT | 7166.58 | 236.022 | ppfolio | par APPLICATION | SAT_RACE08/cnf/ibm-2004-23-k100.cnf | SAT | 9419.83 | 312.388 | Plingeling | 587f (fixed) APPLICATION | SAT_RACE08/cnf/manol-pipe-c10nidw.cnf | UNSAT | 9412.51 | 314.608 | ppfolio | par APPLICATION | SAT_RACE08/cnf/manol-pipe-c10nidw.cnf | UNSAT | 11354.8 | 370.634 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT_RACE08/cnf/manol-pipe-c10nidw.cnf | UNSAT | 16387.9 | 541.91 | Plingeling | 587f (fixed) APPLICATION | SAT_RACE08/cnf/manol-pipe-c10nidw.cnf | UNSAT | 61334.7 | 1947.69 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT_RACE08/cnf/manol-pipe-c6bidw_i.cnf | UNSAT | 634.837 | 22.7969 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT_RACE08/cnf/manol-pipe-c6bidw_i.cnf | UNSAT | 1157.96 | 40.5101 | ppfolio | par APPLICATION | SAT_RACE08/cnf/manol-pipe-c6bidw_i.cnf | UNSAT | 1368.03 | 48.808 | Plingeling | 587f (fixed) APPLICATION | SAT_RACE08/cnf/manol-pipe-c6bidw_i.cnf | UNSAT | 3297.63 | 106.944 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT_RACE08/cnf/manol-pipe-f7nidw.cnf | UNSAT | 895.205 | 37.3583 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT_RACE08/cnf/manol-pipe-f7nidw.cnf | UNSAT | 1396.58 | 57.6054 | ppfolio | par APPLICATION | SAT_RACE08/cnf/manol-pipe-f7nidw.cnf | UNSAT | 1821.47 | 77.3456 | Plingeling | 587f (fixed) APPLICATION | SAT_RACE08/cnf/manol-pipe-f7nidw.cnf | UNSAT | 9796.03 | 335.49 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT_RACE08/cnf/mizh-sha0-36-4.cnf | SAT | 593.866 | 22.4967 | Plingeling | 587f (fixed) APPLICATION | SAT_RACE08/cnf/mizh-sha0-36-4.cnf | SAT | 603.471 | 21.6241 | ppfolio | par APPLICATION | SAT_RACE08/cnf/mizh-sha0-36-4.cnf | SAT | 708.386 | 25.8919 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT_RACE08/cnf/mizh-sha0-36-4.cnf | SAT | 1030.09 | 34.8137 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT_RACE08/cnf/velev-vliw-uns-4.0-9-i1.cnf | UNSAT | 35846.4 | 1359.98 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT_RACE08/cnf/velev-vliw-uns-4.0-9-i1.cnf | UNSAT | 43270.1 | 1630.4 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT_RACE08/cnf/velev-vliw-uns-4.0-9-i1.cnf | UNSAT | 57216.2 | 1916.55 | ppfolio | par APPLICATION | SAT_RACE08/cnf/velev-vliw-uns-4.0-9-i1.cnf | UNSAT | 61593.4 | 1984.7 | Plingeling | 587f (fixed) APPLICATION | SAT_RACE08/Q1/SAT_dat.k80_04.cnf | SAT | 263.092 | 13.7382 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT_RACE08/Q1/SAT_dat.k80_04.cnf | SAT | 475.603 | 20.0387 | ppfolio | par APPLICATION | SAT_RACE08/Q1/SAT_dat.k80_04.cnf | SAT | 741.311 | 30.4601 | Plingeling | 587f (fixed) APPLICATION | SAT_RACE08/Q1/SAT_dat.k80_04.cnf | SAT | 1129.23 | 49.2151 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT_RACE08/Q1/SAT_dat.k85.cnf | SAT | 4576.88 | 153.073 | ppfolio | par APPLICATION | SAT_RACE08/Q1/SAT_dat.k85.cnf | SAT | 6864.47 | 230.076 | Plingeling | 587f (fixed) APPLICATION | SAT_RACE08/Q1/SAT_dat.k85.cnf | SAT | 11402.3 | 368.5 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT_RACE08/Q1/SAT_dat.k85.cnf | SAT | 84083 | 2643.41 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT-Race-2010-CNF/cryptography/mizh/md5_48_3.cnf | SAT | 522.488 | 19.2268 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT-Race-2010-CNF/cryptography/mizh/md5_48_3.cnf | SAT | 1085.81 | 36.7176 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT-Race-2010-CNF/cryptography/mizh/md5_48_3.cnf | SAT | 1595.11 | 55.3136 | Plingeling | 587f (fixed) APPLICATION | SAT-Race-2010-CNF/cryptography/mizh/md5_48_3.cnf | SAT | 1694.19 | 56.667 | ppfolio | par APPLICATION | SAT-Race-2010-CNF/cryptography/mizh/sha0_36_5.cnf | SAT | 862.21 | 29.7538 | ppfolio | par APPLICATION | SAT-Race-2010-CNF/cryptography/mizh/sha0_36_5.cnf | SAT | 1084.93 | 37.9201 | Plingeling | 587f (fixed) APPLICATION | SAT-Race-2010-CNF/cryptography/mizh/sha0_36_5.cnf | SAT | 1654.03 | 54.2125 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT-Race-2010-CNF/cryptography/mizh/sha0_36_5.cnf | SAT | 2026.58 | 68.727 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT-Race-2010-CNF/hardware-verification/manolios/c10idw_i.cnf | UNSAT | 865.262 | 34.0515 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT-Race-2010-CNF/hardware-verification/manolios/c10idw_i.cnf | UNSAT | 1351.17 | 51.108 | ppfolio | par APPLICATION | SAT-Race-2010-CNF/hardware-verification/manolios/c10idw_i.cnf | UNSAT | 2119.59 | 78.2944 | Plingeling | 587f (fixed) APPLICATION | SAT-Race-2010-CNF/hardware-verification/manolios/c10idw_i.cnf | UNSAT | 5202.83 | 179.319 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/11pipe_11_ooo.cnf | UNSAT | 46232.8 | 1561.86 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/11pipe_11_ooo.cnf | UNSAT | 60322.2 | 1948.39 | Plingeling | 587f (fixed) APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/11pipe_11_ooo.cnf | UNSAT | 135488 | 4312.95 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/11pipe_11_ooo.cnf | UNKNOWN TO | 160002 | 5044.14 | ppfolio | par APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/11pipe_k.cnf | UNSAT | 12795.7 | 473.856 | Plingeling | 587f (fixed) APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/11pipe_k.cnf | UNSAT | 13543.5 | 483.163 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/11pipe_k.cnf | UNSAT | 15462.9 | 918.921 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/11pipe_k.cnf | UNSAT | 30319.1 | 1042.61 | ppfolio | par APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq57_a.cnf | UNSAT | 29539.1 | 1600.19 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq57_a.cnf | UNSAT | 45972.8 | 1591.76 | Plingeling | 587f (fixed) APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq57_a.cnf | UNSAT | 51626.1 | 1789.47 | ppfolio | par APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq57_a.cnf | UNKNOWN TO | 34533.5 | 5102.36 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq60_a.cnf | UNSAT | 40091.3 | 2126.31 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq60_a.cnf | UNSAT | 53963.6 | 1876.7 | ppfolio | par APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq60_a.cnf | UNSAT | 55924.6 | 1925.44 | Plingeling | 587f (fixed) APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq60_a.cnf | UNKNOWN TO | 71994.6 | 5103.04 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/2dlx_ca_bp_f_liveness.cnf | UNKNOWN TO | 105539 | 5102 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/2dlx_ca_bp_f_liveness.cnf | UNKNOWN TO | 155888 | 5105.22 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/2dlx_ca_bp_f_liveness.cnf | UNKNOWN TO | 160003 | 5051.94 | ppfolio | par APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/2dlx_ca_bp_f_liveness.cnf | UNKNOWN TO | 160005 | 5075.81 | Plingeling | 587f (fixed) APPLICATION | SAT-Race-2010-CNF/software-verification/nec/hard-18-U-10652.cnf | UNSAT | 135.399 | 33.9392 | ppfolio | par APPLICATION | SAT-Race-2010-CNF/software-verification/nec/hard-18-U-10652.cnf | UNSAT | 1367.39 | 185.31 | Plingeling | 587f (fixed) APPLICATION | SAT-Race-2010-CNF/software-verification/nec/hard-18-U-10652.cnf | UNSAT | 3775.79 | 186.882 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT-Race-2010-CNF/software-verification/nec/hard-18-U-10652.cnf | UNSAT | 10030.6 | 2467.63 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT-Race-2010-CNF/software-verification/nec/hard-25-U-7061.cnf | UNSAT | 4.91225 | 4.91395 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT-Race-2010-CNF/software-verification/nec/hard-25-U-7061.cnf | UNSAT | 22.6126 | 5.6325 | ppfolio | par APPLICATION | SAT-Race-2010-CNF/software-verification/nec/hard-25-U-7061.cnf | UNSAT | 93.2868 | 39.2979 | Plingeling | 587f (fixed) APPLICATION | SAT-Race-2010-CNF/software-verification/nec/hard-25-U-7061.cnf | UNSAT | 1013.65 | 40.4296 | CryptoMiniSat | Strange-Night-2-mt (fixed) APPLICATION | SAT-Race-2010-CNF/software-verification/nec/hard-6-U-7061.cnf | UNSAT | 47.7397 | 9.60168 | ppfolio | par APPLICATION | SAT-Race-2010-CNF/software-verification/nec/hard-6-U-7061.cnf | UNSAT | 125.186 | 29.0569 | claspmt | 2.0-R4095-patched (fixed) APPLICATION | SAT-Race-2010-CNF/software-verification/nec/hard-6-U-7061.cnf | UNSAT | 385.983 | 36.6618 | Plingeling | 587f (fixed) APPLICATION | SAT-Race-2010-CNF/software-verification/nec/hard-6-U-7061.cnf | UNSAT | 1605.73 | 60.3922 | CryptoMiniSat | Strange-Night-2-mt (fixed) MUS | SAT02/industrial/biere/dinphil/dp04u03.shuffled.cnf | UNSAT | 0.082986 | 0.037113 | ppfolio | par MUS | SAT02/industrial/biere/dinphil/dp04u03.shuffled.cnf | UNSAT | 0.750885 | 0.119117 | Plingeling | 587f (fixed) MUS | SAT02/industrial/biere/dinphil/dp04u03.shuffled.cnf | UNSAT | 4.73228 | 0.230555 | CryptoMiniSat | Strange-Night-2-mt (fixed) MUS | SAT02/industrial/biere/dinphil/dp04u03.shuffled.cnf | SIGNAL | 0.082987 | 0.062575 | claspmt | 2.0-R4095-patched (fixed) MUS | SAT02/industrial/goldberg/rand_net/rand_net60-30-1.shuffled.cnf | UNSAT | 1.91471 | 0.213937 | claspmt | 2.0-R4095-patched (fixed) MUS | SAT02/industrial/goldberg/rand_net/rand_net60-30-1.shuffled.cnf | UNSAT | 5.08123 | 0.400189 | ppfolio | par MUS | SAT02/industrial/goldberg/rand_net/rand_net60-30-1.shuffled.cnf | UNSAT | 20.7628 | 1.02224 | Plingeling | 587f (fixed) MUS | SAT02/industrial/goldberg/rand_net/rand_net60-30-1.shuffled.cnf | UNSAT | 107.811 | 4.77616 | CryptoMiniSat | Strange-Night-2-mt (fixed) MUS | SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor016.cnf | UNSAT | 1.39979 | 0.479605 | ppfolio | par MUS | SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor016.cnf | UNSAT | 3.79642 | 0.28052 | claspmt | 2.0-R4095-patched (fixed) MUS | SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor016.cnf | UNSAT | 43.8253 | 2.02001 | CryptoMiniSat | Strange-Night-2-mt (fixed) MUS | SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor016.cnf | UNSAT | 48.3676 | 2.10078 | Plingeling | 587f (fixed) MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf | UNSAT | 30.5404 | 6.19721 | ppfolio | par MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf | UNSAT | 50.1024 | 6.18024 | claspmt | 2.0-R4095-patched (fixed) MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf | UNSAT | 286.022 | 18.1542 | Plingeling | 587f (fixed) MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf | UNSAT | 1103.23 | 40.1319 | CryptoMiniSat | Strange-Night-2-mt (fixed) MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf | UNSAT | 100.686 | 5.93774 | claspmt | 2.0-R4095-patched (fixed) MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf | UNSAT | 321.923 | 13.9589 | ppfolio | par MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf | UNSAT | 446.721 | 19.5269 | Plingeling | 587f (fixed) MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf | UNSAT | 1323.5 | 43.5547 | CryptoMiniSat | Strange-Night-2-mt (fixed) MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf | UNSAT | 5.9421 | 1.19939 | ppfolio | par MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf | UNSAT | 7.16791 | 1.8267 | claspmt | 2.0-R4095-patched (fixed) MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf | UNSAT | 7.71283 | 3.05202 | Plingeling | 587f (fixed) MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf | UNSAT | 67.7437 | 2.94896 | CryptoMiniSat | Strange-Night-2-mt (fixed) MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf | UNSAT | 77.7602 | 8.6794 | ppfolio | par MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf | UNSAT | 85.0431 | 6.79813 | claspmt | 2.0-R4095-patched (fixed) MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf | UNSAT | 678.093 | 29.8837 | Plingeling | 587f (fixed) MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf | UNSAT | 864.992 | 32.0396 | CryptoMiniSat | Strange-Night-2-mt (fixed) MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf | UNSAT | 166.111 | 8.44105 | claspmt | 2.0-R4095-patched (fixed) MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf | UNSAT | 734.354 | 27.6224 | ppfolio | par MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf | UNSAT | 786.976 | 31.304 | Plingeling | 587f (fixed) MUS | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf | UNSAT | 873.503 | 30.7096 | CryptoMiniSat | Strange-Night-2-mt (fixed) MUS | SAT11/application/leberre/2dimensionalstrippacking/E04N18.cnf | UNSAT | 7.8888 | 2.86633 | Plingeling | 587f (fixed) MUS | SAT11/application/leberre/2dimensionalstrippacking/E04N18.cnf | UNSAT | 8.43772 | 2.15339 | claspmt | 2.0-R4095-patched (fixed) MUS | SAT11/application/leberre/2dimensionalstrippacking/E04N18.cnf | UNSAT | 24.6063 | 2.75545 | ppfolio | par MUS | SAT11/application/leberre/2dimensionalstrippacking/E04N18.cnf | UNSAT | 103.921 | 5.7457 | CryptoMiniSat | Strange-Night-2-mt (fixed) MUS | SAT11/application/leberre/2dimensionalstrippacking/E15N15.cnf | UNSAT | 0.05899 | 0.0609041 | claspmt | 2.0-R4095-patched (fixed) MUS | SAT11/application/leberre/2dimensionalstrippacking/E15N15.cnf | UNSAT | 0.108983 | 0.0439139 | ppfolio | par MUS | SAT11/application/leberre/2dimensionalstrippacking/E15N15.cnf | UNSAT | 1.24181 | 1.22507 | Plingeling | 587f (fixed) MUS | SAT11/application/leberre/2dimensionalstrippacking/E15N15.cnf | UNSAT | 4.10438 | 0.220773 | CryptoMiniSat | Strange-Night-2-mt (fixed)