SAT 2007 Competition Phase 1: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Medium/contest05/others/ QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf	SAT	105.425	105.467	333125
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT	741.883	742.097	333041
crafted/Medium/contest05/pebbling/ sat-pbl-00400.sat05-1322.reshuffled-07.cnf	SAT	921.02	921.347	332621

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf	?	852.543	852.788	332579
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	?	866.941	867.202	332831
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf	?	944.101	944.382	332663
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	?	953.159	953.783	338669
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	?	1012.14	1012.55	338459

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-10t19.sat05-1143.reshuffled-07.cnf	? (TO)	1200.01	1200.41	332327
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.01	1200.31	334343
crafted/Hard/contest05/QG/ QG7-dead-dnd002.sat05-3108.reshuffled-07.cnf	? (TO)	1200.01	1200.31	335267
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.01	1200.31	335981
crafted/Hard/contest05/counting-php/ harder-fphp-018-017.sat05-1231.reshuffled-07.cnf	? (TO)	1200.01	1200.51	335855
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.01	1200.41	336233
crafted/Hard/contest03/others/ hwb-n26-03-S540351185.sat05-490.reshuffled-07.cnf	? (TO)	1200.01	1200.41	337283
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.01	1200.41	337829
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	? (TO)	1200.01	1200.31	338375
crafted/spence/ medium/s73-100.cnf	? (TO)	1200.02	1200.41	316318
crafted/spence/ hard/s97-100.cnf	? (TO)	1200.02	1200.41	316638
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.02	1200.51	334007
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.02	1200.51	334847
crafted/Hard/contest05/counting-php/ harder-php-025-024.sat05-1191.reshuffled-07.cnf	? (TO)	1200.02	1200.31	335813
crafted/Hard/contest02/ ezfact64_6.sat05-453.reshuffled-07.cnf	? (TO)	1200.02	1200.41	336905
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.02	1200.61	337115
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.02	1200.41	336947
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.02	1200.31	337241
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.02	1200.51	337619
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.02	1200.41	338753
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.02	1200.45	339845
crafted/Medium/contest05/pebbling/ unsat-pbl-00150.sat05-1328.reshuffled-07.cnf	? (TO)	1200.03	1200.81	332789
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	? (TO)	1200.03	1200.11	333293
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	? (TO)	1200.03	1200.41	333335
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	? (TO)	1200.03	1200.41	333461
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.03	1200.41	334049
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.03	1200.51	334301
crafted/Hard/contest04/others/ equilarge_l5.sat05-522.reshuffled-07.cnf	? (TO)	1200.03	1200.41	334553
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.03	1200.41	335309
crafted/Hard/contest05/counting-php/ harder-php-045-044.sat05-1195.reshuffled-07.cnf	? (TO)	1200.03	1200.51	335729
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.03	1200.51	336821
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.03	1200.51	338963
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.03	1200.41	339047
crafted/spence/ medium/s61-100.cnf	? (TO)	1200.04	1200.17	316118
crafted/Medium/contest05/sabharwal/ gt-ordering-unsat-gt-025.sat05-1306.reshuffled-07.cnf	? (TO)	1200.04	1200.21	332159
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.04-s1788334438.sat05-543.reshuffled-07.cnf	? (TO)	1200.04	1200.51	334133
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.sat05-4189.reshuffled-07.cnf	? (TO)	1200.04	1200.12	334805
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (TO)	1200.04	1200.21	335057
crafted/Hard/contest03/others/ bqwh.60.1080.sat05-436.reshuffled-07.cnf	? (TO)	1200.04	1200.41	337409
crafted/Difficult/contest05/sabharwal/ counting-easier-fphp-014-012.sat05-1215.reshuffled-07.cnf	? (TO)	1200.04	1200.41	338543
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-2.sat05-2567.reshuffled-07.cnf	? (TO)	1200.04	1200.41	339215
crafted/spence/ medium/s81-100.cnf	? (TO)	1200.05	1200.41	316158
crafted/spence/ medium/s69-100.cnf	? (TO)	1200.05	1200.31	316198
crafted/spence/ medium/s85-100.cnf	? (TO)	1200.05	1200.51	316398
crafted/spence/ hard/s105-100.cnf	? (TO)	1200.05	1200.61	316678
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	? (TO)	1200.05	1200.21	332411
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	? (TO)	1200.05	1201.01	332537
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	? (TO)	1200.05	1200.41	333377
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	? (TO)	1200.05	1200.41	333587
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	1200.05	1200.43	334931
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.05	1200.41	335141
crafted/Hard/contest05/QG/ QG7a-gensys-icl001.sat05-3822.reshuffled-07.cnf	? (TO)	1200.05	1200.51	335351
crafted/Hard/contest05/counting-php/ harder-fphp-070-069.sat05-1240.reshuffled-07.cnf	? (TO)	1200.05	1200.51	335603
crafted/Hard/contest05/counting-clq/ unsat-set-a-fclqcolor-20-13-14.sat05-1278.reshuffled-07.cnf	? (TO)	1200.05	1200.41	336443
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-30-20-26.sat05-1264.reshuffled-07.cnf	? (TO)	1200.05	1200.51	336611
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-10-06-07.sat05-1250.reshuffled-07.cnf	? (TO)	1200.05	1200.51	336527
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.05	1200.41	336653
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.05	1200.41	337577
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	? (TO)	1200.05	1200.41	338123
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.05	1200.51	338501
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.05	1200.51	338627
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.05	1200.41	338795
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.05	1200.41	339677
crafted/spence/ hard/s109-100.cnf	? (TO)	1200.06	1200.51	316558
crafted/Medium/contest05/sabharwal/ unsat-logistics-rotate-09t5.sat05-1139.reshuffled-07.cnf	? (TO)	1200.06	1200.51	332369
crafted/Medium/contest05/pebbling/ unsat-pbl-00070.sat05-1324.reshuffled-07.cnf	? (TO)	1200.06	1200.51	332747
crafted/Medium/contest05/pebbling/ unsat-pbl-00200.sat05-1329.reshuffled-07.cnf	? (TO)	1200.06	1200.41	332915
crafted/Medium/contest05/others/ gensys-ukn002.sat05-2744.reshuffled-07.cnf	? (TO)	1200.06	1200.51	332957
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	? (TO)	1200.06	1200.41	333167
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	? (TO)	1200.06	1200.41	333209
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.06	1200.41	334427
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.06	1200.91	334595
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.06	1200.51	335183
crafted/Hard/contest05/QG/ QG7a-gensys-icl009.sat05-3830.reshuffled-07.cnf	? (TO)	1200.06	1200.41	335393
crafted/Hard/contest05/counting-php/ harder-fphp-035-034.sat05-1235.reshuffled-07.cnf	? (TO)	1200.06	1200.61	335645
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.06	1200.51	336065
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.06	1200.41	336863
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.06	1200.41	337199
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.06	1200.51	337451
crafted/Hard/contest03/looksrandom/ hgen8-n320-03-S1572374531.sat05-485.reshuffled-07.cnf	? (TO)	1200.06	1200.51	337871
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (TO)	1200.06	1200.51	338249
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.06	1200.41	339131
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	? (TO)	1200.06	1200.41	339089
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-135-2.sat05-2354.reshuffled-07.cnf	? (TO)	1200.06	1200.51	339341
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	? (TO)	1200.07	1200.41	332243
crafted/Medium/contest05/sabharwal/ counting-easier-fphp-012-010.sat05-1214.reshuffled-07.cnf	? (TO)	1200.07	1200.41	332495
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	? (TO)	1200.07	1200.51	332999
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-240-3.sat05-2205.reshuffled-07.cnf	? (TO)	1200.07	1200.41	333755
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.07	1200.41	333797
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.07	1200.51	334469
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.07	1200.42	335015
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	1200.07	1200.41	335099
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	1200.07	1200.42	336191
crafted/Hard/contest05/others/ strips-gripper-12t22.sat05-1151.reshuffled-07.cnf	? (TO)	1200.07	1200.51	336275
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.07	1200.51	336779
crafted/Hard/contest02/ ezfact64_4.sat05-451.reshuffled-07.cnf	? (TO)	1200.07	1200.51	337031
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.07	1200.41	337157
crafted/Hard/contest03/looksrandom/ hgen7-n390-01-S248216171.sat05-478.reshuffled-07.cnf	? (TO)	1200.07	1200.41	337787
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	? (TO)	1200.07	1200.61	338207
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.07	1200.41	339299
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	? (TO)	1200.07	1200.51	339803
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-2.sat05-2174.reshuffled-07.cnf	? (TO)	1200.07	1200.41	333419
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	? (TO)	1200.07	1200.41	333545
crafted/spence/ medium/s93-100.cnf	? (TO)	1200.08	1200.41	316238
crafted/spence/ medium/s89-100.cnf	? (TO)	1200.08	1200.41	316358
crafted/spence/ medium/s65-100.cnf	? (TO)	1200.08	1200.41	316438
crafted/spence/ hard/s101-100.cnf	? (TO)	1200.08	1200.51	316518
crafted/Medium/contest05/sabharwal/ gt-ordering-unsat-gt-030.sat05-1307.reshuffled-07.cnf	? (TO)	1200.08	1200.51	332117
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	? (TO)	1200.08	1200.51	332705
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200.08	1200.51	333713
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d-0.02-s1542454144.sat05-533.reshuffled-07.cnf	? (TO)	1200.08	1200.51	333965
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s405595518.sat05-531.reshuffled-07.cnf	? (TO)	1200.08	1200.41	334091
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.08	1200.41	334511
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.08	1200.41	335435
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.08	1200.41	335897
crafted/Hard/contest05/counting-clq/ unsat-set-a-fclqcolor-10-06-07.sat05-1274.reshuffled-07.cnf	? (TO)	1200.08	1200.41	336317
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-12-07-08.sat05-1251.reshuffled-07.cnf	? (TO)	1200.08	1200.51	336359
crafted/Hard/contest02/ ezfact64_5.sat05-452.reshuffled-07.cnf	? (TO)	1200.08	1200.51	336737
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.08	1200.51	336695
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.08	1200.41	337073
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-03-S1609878926.sat05-487.reshuffled-07.cnf	? (TO)	1200.08	1200.51	337703
crafted/Hard/contest03/others/ mm-2x3-8-8-sb.1.sat05-475.reshuffled-07.cnf	? (TO)	1200.08	1200.61	337493
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	? (TO)	1200.08	1200.61	337997
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	? (TO)	1200.08	1200.41	338165
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.08	1200.41	338711
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	1200.08	1200.52	338921
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.08	1200.51	339761
crafted/Difficult/contest-02-03-04/ contest03-hwb-n26-01-S1957858365.sat05-500.reshuffled-07.cnf	? (TO)	1200.08	1200.41	339509
crafted/spence/ medium/s77-100.cnf	? (TO)	1200.09	1200.51	316078
crafted/Medium/contest05/pebbling/ unsat-pbl-00250.sat05-1330.reshuffled-07.cnf	? (TO)	1200.09	1200.41	332873
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	? (TO)	1200.09	1200.41	333251
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-1.sat05-2158.reshuffled-07.cnf	? (TO)	1200.09	1200.51	333503
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.09	1200.51	333839
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.09	1200.51	334637
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.09	1200.52	334763
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	1200.09	1200.62	334973
crafted/Hard/contest05/counting-php/ harder-fphp-016-015.sat05-1230.reshuffled-07.cnf	? (TO)	1200.09	1200.61	335477
crafted/Hard/contest05/counting-php/ harder-fphp-050-049.sat05-1238.reshuffled-07.cnf	? (TO)	1200.09	1200.51	335519
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.09	1200.51	335687
crafted/Hard/contest05/counting-php/ easier-fphp-020-015.sat05-1218.reshuffled-07.cnf	? (TO)	1200.09	1200.41	335771
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.09	1200.51	336023
crafted/Hard/contest05/others/ linvrinv6.sat05-565.reshuffled-07.cnf	? (TO)	1200.09	1200.41	335939
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-30-19-20.sat05-1256.reshuffled-07.cnf	? (TO)	1200.09	1200.51	336569
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.09	1200.41	336989
crafted/Hard/contest03/others/ hwb-n28-02-S818962541.sat05-492.reshuffled-07.cnf	? (TO)	1200.09	1200.61	337325
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.09	1200.51	337367
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.09	1200.51	337745
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.09	1200.41	337913
crafted/Hard/contest03/looksrandom/ hgen8-n260-03-S722413478.sat05-482.reshuffled-07.cnf	? (TO)	1200.09	1200.41	337955
crafted/Difficult/contest05/QG/ QG6-dead-dnd001.sat05-2742.reshuffled-07.cnf	? (TO)	1200.09	1200.41	338039
crafted/Difficult/contest05/QG/ QG6-gensys-icl006.sat05-2718.reshuffled-07.cnf	? (TO)	1200.09	1200.51	338291
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (TO)	1200.09	1200.51	338081
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	? (TO)	1200.09	1200.41	338333
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.09	1200.51	338417
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.09	1200.55	338879
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.09	1200.51	339173
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (TO)	1200.09	1200.51	339635
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.09	1200.51	339257
crafted/spence/ medium/s57-100.cnf	? (TO)	1200.1	1200.51	316278
crafted/spence/ hard/s113-100.cnf	? (TO)	1200.1	1200.51	316478
crafted/spence/ hard/s117-100.cnf	? (TO)	1200.1	1200.41	316598
crafted/Medium/contest05/sabharwal/ gt-ordering-sat-gt-030.sat05-1295.reshuffled-07.cnf	? (TO)	1200.1	1200.41	332285
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.1	1200.41	333881
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.1	1200.41	334217
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l2.used-as.sat04-894.sat05-4188.reshuffled-07.cnf	? (TO)	1200.1	1200.42	334679
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.1	1200.41	334889
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.1	1200.61	335225
crafted/Hard/contest05/counting-php/ easier-php-035-029.sat05-1179.reshuffled-07.cnf	? (TO)	1200.1	1200.41	335561
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.1	1200.51	336107
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.1	1200.51	336401
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.1	1200.51	336485
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.1	1200.61	337661
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.1	1200.41	337535
crafted/Difficult/contest05/sabharwal/ logistics-unsat-logistics-rotate-11t5.sat05-1141.reshuffled-07.cnf	? (TO)	1200.1	1200.51	338585
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.1	1200.61	338837
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	1200.1	1200.41	339425
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (TO)	1200.1	1200.51	339383
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (TO)	1200.1	1200.51	339593
crafted/Medium/contest05/sabharwal/ gt-ordering-unsat-gt-035.sat05-1308.reshuffled-07.cnf	? (TO)	1200.11	1200.41	332201
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	? (TO)	1200.11	1200.41	332453
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	? (TO)	1200.11	1200.41	333083
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	? (TO)	1200.11	1200.41	333629
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.11	1200.41	333923
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.11	1200.41	334175
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.11	1200.41	334259
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	? (TO)	1200.11	1200.31	334721
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.11	1200.41	336149
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.11	1200.51	339005
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.11	1200.51	339551
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	? (TO)	1200.11	1200.51	339467
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	? (TO)	1200.11	1200.51	339719
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	? (TO)	1200.11	1200.41	333671
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.12	1200.42	334385

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/grieu/ vmpc_25.cnf	SAT	108.75	108.815	319701
industrial/grieu/ vmpc_26.cnf	SAT	462.932	463.078	320070
industrial/grieu/ vmpc_24.cnf	SAT	571.413	571.612	319865

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.01	1200.41	319168
industrial/crypto/ mizh-sha0-35-2.cnf	? (TO)	1200.01	1200.41	319578
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k100.cnf	? (TO)	1200.01	1200.51	329969
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.02	1200.31	314238
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	? (TO)	1200.02	1200.41	315358
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k65.cnf	? (TO)	1200.02	1200.91	330473
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.02	1200.31	313278
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.02	1200.41	313598
industrial/anbulagan/ hard-unsat/total-5-19-u.cnf	? (TO)	1200.02	1200.42	313838
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.03	1200.32	313798
industrial/fuhs/medium/ AProVE07-04.cnf	? (TO)	1200.03	1200.51	314678
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.03	1200.31	314718
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.03	1200.41	314878
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.03	1200.31	314998
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	? (TO)	1200.03	1200.61	315598
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	? (TO)	1200.03	1200.21	315638
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	? (TO)	1200.03	1200.51	319127
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.03	1200.41	319947
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.03	1200.11	319988
industrial/manolios/ manol-pipe-g10bidw.cnf	? (TO)	1200.03	1200.41	320275
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k15.cnf	? (TO)	1200.03	1200.41	328709
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k75.cnf	? (TO)	1200.03	1200.41	329339
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k70.cnf	? (TO)	1200.03	1200.51	329633
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.03	1200.32	330935
industrial/anbulagan/ medium-sat/total-10-17-s.cnf	? (TO)	1200.03	1200.32	313158
industrial/anbulagan/ medium-sat/total-10-15-s.cnf	? (TO)	1200.04	1200.52	313358
industrial/anbulagan/ hard-unsat/partial-10-11-u.cnf	? (TO)	1200.04	1200.71	314078
industrial/fuhs/medium/ AProVE07-22.cnf	? (TO)	1200.04	1200.51	314478
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	? (TO)	1200.04	1200.51	315998
industrial/babic/ dspam/dspam_dump_vc1081.cnf	? (TO)	1200.04	1200.51	318471
industrial/babic/hsatv17/ hsat_vc12016.cnf	? (TO)	1200.04	1200.51	318881
industrial/ crypto/mizh-md5-47-4.cnf	? (TO)	1200.04	1200.61	319414
industrial/manolios/ manol-pipe-c7nidw.cnf	? (TO)	1200.04	1200.51	320193
industrial/babic/ xinetd/itox_vc1138.cnf	? (TO)	1200.04	1200.41	321054
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k75.cnf	? (TO)	1200.04	1200.41	330011
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k50.cnf	? (TO)	1200.04	1200.41	330179
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.04	1200.51	314278
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	? (TO)	1200.04	1200.41	312678
industrial/fuhs/medium/ AProVE07-06.cnf	? (TO)	1200.05	1200.41	314598
industrial/babic/ dspam/dspam_dump_vc1093.cnf	? (TO)	1200.05	1200.41	318184
industrial/babic/hsatv17/ hsat_vc12072.cnf	? (TO)	1200.05	1200.41	318594
industrial/ crypto/mizh-md5-48-5.cnf	? (TO)	1200.05	1200.41	319537
industrial/crypto/ mizh-sha0-35-3.cnf	? (TO)	1200.05	1200.41	319291
industrial/ manolios/manol-pipe-f9b.cnf	? (TO)	1200.05	1200.51	320152
industrial/manolios/ manol-pipe-c6nidw_i.cnf	? (TO)	1200.05	1200.41	320316
industrial/babic/xinetd/ xinetd_vc56687.cnf	? (TO)	1200.05	1200.41	320726
industrial/babic/ xinetd/itox_vc1216.cnf	? (TO)	1200.05	1200.51	320931
industrial/babic/ xinetd/itox_vc965.cnf	? (TO)	1200.05	1200.61	320849
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k95.cnf	? (TO)	1200.05	1200.51	328961
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	1200.05	1200.51	329297
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k20.cnf	? (TO)	1200.05	1200.41	330347
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k85.cnf	? (TO)	1200.05	1200.51	330809
industrial/babic/hsatv17/ hsat_vc12070.cnf	? (TO)	1200.05	1200.51	318676
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.06	1200.42	313398
industrial/fuhs/medium/ AProVE07-02.cnf	? (TO)	1200.06	1200.41	314358
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	1200.06	1200.51	314398
industrial/fuhs/medium/ AProVE07-21.cnf	? (TO)	1200.06	1200.51	314518
industrial/fuhs/medium/ AProVE07-20.cnf	? (TO)	1200.06	1200.41	314638
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.06	1200.51	314918
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.06	1200.41	314958
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	? (TO)	1200.06	1200.51	315558
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.06	1200.48	315798
industrial/palacios/medium/ safe-30-h30-sat.cnf	? (TO)	1200.06	1200.41	315918
industrial/babic/dspam/ dspam_dump_vc972.cnf	? (TO)	1200.06	1200.51	318307
industrial/babic/dspam/ dspam_dump_vc950.cnf	? (TO)	1200.06	1200.41	318430
industrial/babic/hsatv17/ hsat_vc11944.cnf	? (TO)	1200.06	1200.41	318840
industrial/jarvisalo/ eq.atree.braun.7.unsat.cnf	? (TO)	1200.06	1200.41	319045
industrial/crypto/ mizh-sha0-35-4.cnf	? (TO)	1200.06	1200.41	319332
industrial/ manolios/manol-pipe-f9n.cnf	? (TO)	1200.06	1200.51	320357
industrial/babic/ xinetd/itox_vc1130.cnf	? (TO)	1200.06	1200.51	320767
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k55.cnf	? (TO)	1200.06	1200.41	328625
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k85.cnf	? (TO)	1200.06	1200.41	328919
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k90.cnf	? (TO)	1200.06	1200.61	329381
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k30.cnf	? (TO)	1200.06	1200.41	329591
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k40.cnf	? (TO)	1200.06	1200.41	329549
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k50.cnf	? (TO)	1200.06	1200.51	329801
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k85.cnf	? (TO)	1200.06	1200.51	329675
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k45.cnf	? (TO)	1200.06	1200.51	330095
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k60.cnf	? (TO)	1200.06	1200.41	330137
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k30.cnf	? (TO)	1200.06	1200.41	330725
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.06	1200.51	331019
industrial/babic/hsatv17/ hsat_vc11813.cnf	? (TO)	1200.06	1200.51	318717
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.06	1200.41	314198
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.07	1200.51	312878
industrial/anbulagan/ medium-sat/dated-10-17-s.cnf	? (TO)	1200.07	1200.61	313318
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.07	1200.52	314318
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.07	1200.61	314758
industrial/palacios/uts/ uts-l06-ipc5-h32-unknown.cnf	? (TO)	1200.07	1200.51	315478
industrial/babic/ dspam/dspam_dump_vc1104.cnf	? (TO)	1200.07	1200.51	318348
industrial/babic/ dspam/dspam_dump_vc1103.cnf	? (TO)	1200.07	1200.41	318266
industrial/babic/hsatv17/ hsat_vc11773.cnf	? (TO)	1200.07	1200.56	318635
industrial/babic/dspam/ dspam_dump_vc949.cnf	? (TO)	1200.07	1200.41	318512
industrial/babic/ dspam/dspam_dump_vc1080.cnf	? (TO)	1200.07	1200.51	318553
industrial/babic/hsatv17/ hsat_vc11935.cnf	? (TO)	1200.07	1200.43	318758
industrial/manolios/ manol-pipe-f7idw.cnf	? (TO)	1200.07	1200.51	320111
industrial/grieu/ vmpc_31.cnf	? (TO)	1200.07	1200.51	319906
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.07	1200.41	320029
industrial/manolios/ manol-pipe-c7bidw_i.cnf	? (TO)	1200.07	1200.51	320439
industrial/narain/ clauses-2.cnf	? (TO)	1200.07	1200.41	320521
industrial/narain/ clauses-4.cnf	? (TO)	1200.07	1200.51	320603
industrial/babic/ xinetd/itox_vc1044.cnf	? (TO)	1200.07	1200.51	320808
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k40.cnf	? (TO)	1200.07	1200.51	328793
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	1200.07	1200.51	328751
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	1200.07	1200.41	329003
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k25.cnf	? (TO)	1200.07	1200.61	329213
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k55.cnf	? (TO)	1200.07	1200.41	329423
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k60.cnf	? (TO)	1200.07	1200.51	329843
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k70.cnf	? (TO)	1200.07	1200.61	330263
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k15.cnf	? (TO)	1200.07	1200.41	330641
industrial/anbulagan/ medium-unsat/dated-10-15-u.cnf	? (TO)	1200.07	1200.51	312558
industrial/anbulagan/ hard-sat/partial-10-11-s.cnf	? (TO)	1200.07	1200.41	312958
industrial/anbulagan/ medium-sat/total-5-19-s.cnf	? (TO)	1200.07	1200.51	313198
industrial/anbulagan/ hard-unsat/dated-10-13-u.cnf	? (TO)	1200.07	1200.51	313998
industrial/anbulagan/ hard-unsat/dated-10-11-u.cnf	? (TO)	1200.07	1200.51	313878
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.07	1200.41	313758
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.07	1200.51	314118
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.07	1200.41	314038
industrial/anbulagan/ medium-unsat/total-10-11-u.cnf	? (TO)	1200.07	1200.51	312598
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	1200.08	1200.52	312758
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.08	1200.41	313078
industrial/anbulagan/ medium-sat/total-5-17-s.cnf	? (TO)	1200.08	1200.61	312998
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.08	1200.51	313518
industrial/fuhs/medium/ AProVE07-15.cnf	? (TO)	1200.08	1200.41	314558
industrial/fuhs/hard/ AProVE07-03.cnf	? (TO)	1200.08	1200.41	314838
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.08	1200.51	315038
industrial/palacios/hard/ sortnet-6-ipc5-h11-unsat.cnf	? (TO)	1200.08	1200.41	315238
industrial/palacios/medium/ emptyroom-4-h22-sat.cnf	? (TO)	1200.08	1200.41	315878
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	? (TO)	1200.08	1200.61	316038
industrial/babic/dspam/ dspam_dump_vc962.cnf	? (TO)	1200.08	1200.41	318225
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.08	1200.41	319004
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.08	1200.41	319783
industrial/manolios/ manol-pipe-c10nidw_s.cnf	? (TO)	1200.08	1200.41	320234
industrial/manolios/ manol-pipe-f10ni.cnf	? (TO)	1200.08	1200.51	320480
industrial/babic/xinetd/ xinetd_vc56703.cnf	? (TO)	1200.08	1200.51	320972
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k30.cnf	? (TO)	1200.08	1200.51	328835
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k35.cnf	? (TO)	1200.08	1200.51	329045
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k50.cnf	? (TO)	1200.08	1200.41	329129
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k10.cnf	? (TO)	1200.08	1200.61	329087
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k65.cnf	? (TO)	1200.08	1200.41	329255
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k60.cnf	? (TO)	1200.08	1200.41	329171
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k80.cnf	? (TO)	1200.08	1200.51	329465
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k90.cnf	? (TO)	1200.08	1200.41	330053
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k95.cnf	? (TO)	1200.08	1200.51	330305
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	? (TO)	1200.08	1200.61	330515
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k90.cnf	? (TO)	1200.08	1200.51	330683
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k75.cnf	? (TO)	1200.08	1200.41	330557
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.08	1200.51	330851
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.08	1200.51	331187
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	? (TO)	1200.08	1200.51	312638
industrial/anbulagan/ hard-unsat/partial-10-15-u.cnf	? (TO)	1200.08	1200.41	313558
industrial/anbulagan/ hard-unsat/partial-10-17-u.cnf	? (TO)	1200.08	1200.56	313638
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.08	1200.51	313718
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.09	1200.41	313678
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.09	1200.41	314798
industrial/palacios/hard/ safe-50-h50-sat.cnf	? (TO)	1200.09	1200.62	315078
industrial/palacios/uts/ uts-l06-ipc5-h30-unknown.cnf	? (TO)	1200.09	1200.51	315438
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	? (TO)	1200.09	1200.51	315398
industrial/palacios/medium/ cube-9-h10-unsat.cnf	? (TO)	1200.09	1200.51	315678
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	? (TO)	1200.09	1200.41	315518
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.09	1200.42	315758
industrial/palacios/ medium/cube-9-h11-sat.cnf	? (TO)	1200.09	1200.51	315838
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.09	1200.51	319086
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1200.09	1200.41	319250
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	? (TO)	1200.09	1200.41	319209
industrial/crypto/ mizh-sha0-36-2.cnf	? (TO)	1200.09	1200.51	319619
industrial/grieu/ vmpc_27.cnf	? (TO)	1200.09	1200.41	319742
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.09	1200.41	319824
industrial/manolios/ manol-pipe-g10nid.cnf	? (TO)	1200.09	1200.51	320398
industrial/babic/ xinetd/itox_vc979.cnf	? (TO)	1200.09	1200.51	321095
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	1200.09	1200.51	328667
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k70.cnf	? (TO)	1200.09	1200.41	328877
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k45.cnf	? (TO)	1200.09	1200.61	329507
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k95.cnf	? (TO)	1200.09	1200.41	329717
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k25.cnf	? (TO)	1200.09	1200.41	329885
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.09	1200.42	331061
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.09	1200.51	313438
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.09	1200.51	312478
industrial/anbulagan/ medium-sat/dated-10-13-s.cnf	? (TO)	1200.1	1200.41	313238
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1200.1	1200.61	314158
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.1	1200.52	315118
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.1	1200.42	315198
industrial/palacios/uts/ uts-l06-ipc5-h34-unknown.cnf	? (TO)	1200.1	1200.51	315278
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.1	1200.52	315718
industrial/babic/dspam/ dspam_dump_vc973.cnf	? (TO)	1200.1	1200.51	318389
industrial/crypto/ mizh-sha0-35-5.cnf	? (TO)	1200.1	1200.41	319496
industrial/ crypto/mizh-md5-47-3.cnf	? (TO)	1200.1	1200.51	319455
industrial/babic/ xinetd/itox_vc909.cnf	? (TO)	1200.1	1200.61	320890
industrial/babic/ xinetd/itox_vc1033.cnf	? (TO)	1200.1	1200.41	321013
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k35.cnf	? (TO)	1200.1	1200.51	329759
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	? (TO)	1200.1	1200.31	330221
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k35.cnf	? (TO)	1200.1	1200.51	330389
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	1200.1	1200.55	331103
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug9.cnf	? (TO)	1200.1	1200.4	331355
industrial/babic/hsatv17/ hsat_vc12062.cnf	? (TO)	1200.1	1200.41	318963
industrial/anbulagan/ hard-sat/partial-5-19-s.cnf	? (TO)	1200.1	1200.51	312798
industrial/anbulagan/ hard-sat/partial-10-19-s.cnf	? (TO)	1200.1	1200.42	312838
industrial/anbulagan/ hard-unsat/total-10-15-u.cnf	? (TO)	1200.1	1200.51	313918
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.11	1200.41	312718
industrial/anbulagan/ medium-sat/partial-5-11-s.cnf	? (TO)	1200.11	1200.41	313118
industrial/anbulagan/ medium-sat/total-10-19-s.cnf	? (TO)	1200.11	1200.42	313038
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.11	1200.51	315158
industrial/palacios/uts/ uts-l06-ipc5-h29-unknown.cnf	? (TO)	1200.11	1200.51	315318
industrial/palacios/ medium/sortnet-7-ipc5-h16-sat.cnf	? (TO)	1200.11	1200.41	315958
industrial/babic/hsatv17/ hsat_vc11817.cnf	? (TO)	1200.11	1200.41	318922
industrial/ crypto/mizh-md5-48-2.cnf	? (TO)	1200.11	1200.61	319373
industrial/ crypto/mizh-md5-47-5.cnf	? (TO)	1200.11	1200.51	319660
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k65.cnf	? (TO)	1200.11	1200.61	329927
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k40.cnf	? (TO)	1200.11	1200.51	330431
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k25.cnf	? (TO)	1200.11	1200.41	330599
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k100.cnf	? (TO)	1200.11	1200.51	330767
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.11	1200.53	330977
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (TO)	1200.11	1200.49	331229
industrial/babic/hsatv17/ hsat_vc11803.cnf	? (TO)	1200.11	1200.51	318799
industrial/anbulagan/ hard-unsat/partial-5-19-u.cnf	? (TO)	1200.11	1200.51	313478
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.11	1200.61	313958
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	? (TO)	1200.11	1200.41	312518
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.12	1200.41	312918
industrial/narain/ clauses-6.cnf	? (TO)	1200.12	1200.52	320685
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (TO)	1200.12	1200.47	330893
industrial/fuhs/medium/ AProVE07-11.cnf	? (TO)	1200.13	1200.54	314438
industrial/narain/ clauses-10.cnf	? (TO)	1200.13	1200.57	320644
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1200.13	1200.45	331145
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (TO)	1200.13	1200.59	331607
industrial/narain/ clauses-8.cnf	? (TO)	1200.14	1200.45	320562
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug2.cnf	? (TO)	1200.14	1200.59	331565
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug7.cnf	? (TO)	1200.15	1200.49	331439
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	? (TO)	1200.16	1200.49	331271
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug1.cnf	? (TO)	1200.16	1200.59	331481
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug4.cnf	? (TO)	1200.16	1200.59	331397
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug10.cnf	? (TO)	1200.18	1200.49	331313
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug3.cnf	? (TO)	1200.18	1200.5	331523

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S455021619-18.SAT.shuffled.cnf	SAT	0.006998	0.00892497	292799
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S2048803580-17.SAT.shuffled.cnf	SAT	0.006998	0.00700299	299974
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1416418480-05.SAT.shuffled.cnf	SAT	0.007997	0.00966598	292184
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1217224084-10.SAT.shuffled.cnf	SAT	0.007997	0.00904101	298703
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S15127148-17.SAT.shuffled.cnf	SAT	0.007998	0.00956206	292020
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S2081149830-10.SAT.shuffled.cnf	SAT	0.008997	0.010392	292143
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1456895752-14.SAT.shuffled.cnf	SAT	0.008998	0.00818497	291610
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1490740667-05.SAT.shuffled.cnf	SAT	0.012997	0.0144079	298129
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1483146927-18.SAT.shuffled.cnf	SAT	0.013997	0.01567	297801
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S236549621-14.SAT.shuffled.cnf	SAT	0.015997	0.0177919	291979
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1674723394-12.SAT.shuffled.cnf	SAT	0.016997	0.0186261	292512
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1788789488-19-SAT.cnf	SAT	0.018996	0.0210299	310593
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S539876024-03.SAT.shuffled.cnf	SAT	0.019996	0.0213891	298170
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1699479488-11.SAT.shuffled.cnf	SAT	0.020996	0.021416	297350
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1244126495-18-SAT.cnf	SAT	0.023995	0.0245379	310552
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1264328999-02.SAT.shuffled.cnf	SAT	0.026995	0.0286649	291774
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1047920973-05.SAT.shuffled.cnf	SAT	0.027995	0.029751	293086
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S429936805-03.SAT.shuffled.cnf	SAT	0.028995	0.0306549	293250
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1496918883-18.SAT.shuffled.cnf	SAT	0.033994	0.0343811	299195
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1869272420-19.SAT.shuffled.cnf	SAT	0.036993	0.036855	293578
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1279599478-02.SAT.shuffled.cnf	SAT	0.038993	0.040901	298047
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S141590207-13.SAT.shuffled.cnf	SAT	0.039993	0.0425141	300097
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1950672055-10.SAT.shuffled.cnf	SAT	0.040992	0.0420111	298006
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S64317265-01-SAT.cnf	SAT	0.045992	0.0479049	312110
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1561551265-12.SAT.shuffled.cnf	SAT	0.047991	0.0482589	300015
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1965764400-19.SAT.shuffled.cnf	SAT	0.048991	0.0506459	298293
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1113882813-11.SAT.shuffled.cnf	SAT	0.050991	0.0527651	297883
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1342521403-06.SAT.shuffled.cnf	SAT	0.050992	0.0527689	292348
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1104692480-03.SAT.shuffled.cnf	SAT	0.05599	0.056369	299236
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S744612847-12.SAT.shuffled.cnf	SAT	0.05699	0.0592601	292758
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1172355929-14.SAT.shuffled.cnf	SAT	0.05899	0.060619	299564
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S2094973797-12-SAT.cnf	SAT	0.062989	0.0641359	310429
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1736865558-13.SAT.shuffled.cnf	SAT	0.06299	0.065141	298416
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1678549664-11-SAT.cnf	SAT	0.063989	0.0643549	309650
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1476745538-08-SAT.cnf	SAT	0.063989	0.065251	311126
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1806915801-08.SAT.shuffled.cnf	SAT	0.064989	0.0667701	298867
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1159448555-06.SAT.shuffled.cnf	SAT	0.076988	0.07885	299318
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S309048450-11.SAT.shuffled.cnf	SAT	0.077987	0.0783691	291528
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1282416669-17.SAT.shuffled.cnf	SAT	0.079987	0.081621	292553
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1191693850-19.SAT.shuffled.cnf	SAT	0.081986	0.083013	293209
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1445529008-02.SAT.shuffled.cnf	SAT	0.081986	0.0839359	292635
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1982407920-12.SAT.shuffled.cnf	SAT	0.083986	0.08446	298990
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1481730841-18.SAT.shuffled.cnf	SAT	0.092985	0.0953811	299400
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1513299405-10.SAT.shuffled.cnf	SAT	0.093985	0.094595	294070
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1257266562-15.SAT.shuffled.cnf	SAT	0.096984	0.0992511	298498
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1141835011-09.SAT.shuffled.cnf	SAT	0.099983	0.101863	297391
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1665384822-14-SAT.cnf	SAT	0.105983	0.108226	310798
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S256297823-16.SAT.shuffled.cnf	SAT	0.107982	0.109672	291651
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1449408666-02-SAT.cnf	SAT	0.12198	0.123703	309978
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1615006153-07.SAT.shuffled.cnf	SAT	0.12598	0.126075	293496
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S2109173872-19.SAT.shuffled.cnf	SAT	0.131979	0.134315	298621
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1752604460-10.SAT.shuffled.cnf	SAT	0.132978	0.13446	299728
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1557868591-12-SAT.cnf	SAT	0.134979	0.136708	309568
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1553613509-20.SAT.shuffled.cnf	SAT	0.136978	0.139612	295218
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1907907390-05.SAT.shuffled.cnf	SAT	0.137978	0.139982	295751
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1166224100-13.SAT.shuffled.cnf	SAT	0.139977	0.141842	297596
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1014417748-14-SAT.cnf	SAT	0.139978	0.139833	309773
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1540370200-13.SAT.shuffled.cnf	SAT	0.148976	0.150831	299113
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1813726766-14.SAT.shuffled.cnf	SAT	0.150976	0.152438	293824
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S44928635-12.SAT.shuffled.cnf	SAT	0.150976	0.152059	298252
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1679085272-10-SAT.cnf	SAT	0.154976	0.157207	311003
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1422217194-16.SAT.shuffled.cnf	SAT	0.156976	0.159199	298662
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1775402689-01.SAT.shuffled.cnf	SAT	0.166973	0.168833	299277
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S2006871543-06.SAT.shuffled.cnf	SAT	0.168973	0.168802	292102
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1209647106-12-SAT.cnf	SAT	0.173972	0.17668	311085
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1437321789-17.SAT.shuffled.cnf	SAT	0.176972	0.180167	296530
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1529462267-19.SAT.shuffled.cnf	SAT	0.183971	0.184781	296612
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S2094099432-08.SAT.shuffled.cnf	SAT	0.18697	0.188309	293783
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1089058690-02.SAT.shuffled.cnf	SAT	0.201968	0.202296	299646
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S122221229-14.SAT.shuffled.cnf	SAT	0.205967	0.211171	292717
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S461590508-14-SAT.cnf	SAT	0.215966	0.2184	309158
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S30263233-06-SAT.cnf	SAT	0.229965	0.232408	310306
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1821409123-12-SAT.cnf	SAT	0.264959	0.26662	308994
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1284937235-05.SAT.shuffled.cnf	SAT	0.325949	0.326468	294029
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S316555917-14.SAT.shuffled.cnf	SAT	0.347946	0.349315	295095
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S804631280-01.SAT.shuffled.cnf	SAT	0.367943	0.368561	292922
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S2099893633-17.SAT.shuffled.cnf	SAT	0.377942	0.378509	294972
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1718130589-01.SAT.shuffled.cnf	SAT	0.411936	0.413125	294767
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1109841921-18.SAT.shuffled.cnf	SAT	0.422935	0.423766	294152
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S30788164-07-SAT.cnf	SAT	0.427934	0.428689	308543
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1344401737-18.SAT.shuffled.cnf	SAT	0.447931	0.447895	296694
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S228456758-12.SAT.shuffled.cnf	SAT	0.466929	0.468992	294439
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1939769766-11-SAT.cnf	SAT	0.498924	0.501788	312397
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1019153514-04.SAT.shuffled.cnf	SAT	0.532918	0.534342	293865
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S2044406543-15.SAT.shuffled.cnf	SAT	0.535917	0.537968	293742
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1210495375-04.SAT.shuffled.cnf	SAT	0.549916	0.551548	291692
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1031412672-05.SAT.shuffled.cnf	SAT	0.555914	0.557557	299769
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S592344929-16-SAT.cnf	SAT	0.565913	0.568205	309445
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S476496922-18-SAT.cnf	SAT	0.596908	0.598421	312028
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S218623752-19-SAT.cnf	SAT	0.623904	0.625795	309404
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1274825698-06-SAT.cnf	SAT	0.633902	0.635151	309732
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S2060375179-19-SAT.cnf	SAT	0.639902	0.643771	307518
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1180773190-07.SAT.shuffled.cnf	SAT	0.681895	0.68211	292840
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1755163742-08.SAT.shuffled.cnf	SAT	0.723889	0.724832	294480
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1032474357-17.SAT.shuffled.cnf	SAT	0.843871	0.846542	294357
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S340864765-13.SAT.shuffled.cnf	SAT	0.845871	0.848267	293168
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1891492462-09-SAT.cnf	SAT	0.84887	0.85103	311331
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1137479270-03-SAT.cnf	SAT	0.871867	0.87414	311577
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S116991008-16.SAT.shuffled.cnf	SAT	0.90986	0.911973	294111
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1106151685-15.SAT.shuffled.cnf	SAT	0.932857	0.937683	295915
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S668297284-15-SAT.cnf	SAT	1.11383	1.11585	311536
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1214515938-10.SAT.shuffled.cnf	SAT	1.22681	1.2293	295300
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1783894026-19.SAT.shuffled.cnf	SAT	1.26381	1.26601	296325
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1238286461-19.SAT.shuffled.cnf	SAT	1.44478	1.44678	297432
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1456038697-16.SAT.shuffled.cnf	SAT	1.46978	1.47089	297309
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1909130260-19-SAT.cnf	SAT	1.52377	1.52611	307928
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1376493471-11.SAT.shuffled.cnf	SAT	1.66175	1.66415	293537
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1470952774-07.SAT.shuffled.cnf	SAT	1.73173	1.73372	299441
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S2099846342-04-SAT.cnf	SAT	1.75273	1.7548	310511
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S316347254-19-SAT.cnf	SAT	1.87971	1.88237	311413
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1830776056-07.SAT.shuffled.cnf	SAT	1.9807	1.9824	294726
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1635684145-01.SAT.shuffled.cnf	SAT	2.00269	2.00468	295956
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1155547357-11.SAT.shuffled.cnf	SAT	2.13168	2.13583	296735
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1084572666-19.SAT.shuffled.cnf	SAT	2.14867	2.15045	295628
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1678989107-02.SAT.shuffled.cnf	SAT	2.15367	2.15646	295013
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S108421787-03.SAT.shuffled.cnf	SAT	2.25666	2.25765	295587
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1575802003-16-SAT.cnf	SAT	2.28565	2.28803	310265
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S361865778-09-SAT.cnf	SAT	2.29365	2.29475	309527
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1566131367-09.SAT.shuffled.cnf	SAT	2.31765	2.31892	296653
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S549070267-05-SAT.cnf	SAT	2.47162	2.47762	307887
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S216896591-15.SAT.shuffled.cnf	SAT	2.49662	2.49923	297719
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1870497322-13-SAT.cnf	SAT	2.53261	2.53374	309691
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1846251911-07.SAT.shuffled.cnf	SAT	2.66059	2.66351	296243
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S514014285-17-SAT.cnf	SAT	2.77158	2.7797	311864
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1344671309-04.SAT.shuffled.cnf	SAT	2.94055	2.94374	295505
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1703132040-12-SAT.cnf	SAT	3.06753	3.07165	311495
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S516218553-20-SAT.cnf	SAT	3.21151	3.21458	309322
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1319091742-10.SAT.shuffled.cnf	SAT	3.32449	3.32749	296038
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1091800488-20-SAT.cnf	SAT	3.46847	3.47127	310347
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1093254405-20.SAT.shuffled.cnf	SAT	3.59745	3.60043	296284
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1568197186-18-SAT.cnf	SAT	3.85841	3.94011	308338
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1533440099-09.SAT.shuffled.cnf	SAT	4.05938	4.06229	295792
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1517457236-16-SAT.cnf	SAT	4.5783	4.58284	308420
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1386858597-08-SAT.cnf	SAT	5.19621	5.2001	312274
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1744543366-13.cnf	SAT	6.04308	6.04583	300630
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1292104917-07.SAT.shuffled.cnf	SAT	6.10707	6.11012	295341
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S461794864-15.SAT.shuffled.cnf	SAT	6.12107	6.12313	295136
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1163137157-19-SAT.cnf	SAT	6.24405	6.24695	311987
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1481196126-03.SAT.shuffled.cnf	SAT	6.59	6.60358	294890
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1390822082-06.SAT.shuffled.cnf	SAT	7.00593	7.01029	294398
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S2084125686-20-SAT.cnf	SAT	7.34488	7.34862	311823
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1804595013-08-SAT.cnf	SAT	8.12976	8.13373	310675
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S2131244303-19-SAT.cnf	SAT	10.5134	10.5184	310101
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1372215289-05.SAT.shuffled.cnf	SAT	12.1582	12.1695	296366
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1426208256-08.cnf	SAT	12.6421	12.6486	304894
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S440063851-05.cnf	SAT	13.175	13.1799	305796
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1559029529-16.cnf	SAT	15.4696	15.4747	301081
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S313074252-14.cnf	SAT	18.8461	18.8585	305714
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1963596997-08.SAT.shuffled.cnf	SAT	23.6024	23.6113	297186
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1363528912-04-SAT.cnf	SAT	24.0393	24.0756	312438
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S883927618-10.cnf	SAT	25.1712	25.179	301163
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1286605994-07-SAT.cnf	SAT	31.3072	31.3198	308215
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S1097641288-15-SAT.cnf	SAT	31.6312	31.6451	307559
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1572638390-17.SAT.shuffled.cnf	SAT	34.5627	34.5736	297104
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1580061366-10.cnf	SAT	37.9442	37.9754	305509
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S342579098-10.cnf	SAT	39.15	39.1602	304935
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1534329206-02.SAT.shuffled.cnf	SAT	39.503	39.5185	296899
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S471833188-06.cnf	SAT	46.4079	46.4214	300876
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1404069132-16-SAT.cnf	SAT	49.0805	49.0986	312356
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S427890210-10.cnf	SAT	50.4823	50.5036	306329
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S2129616968-04.cnf	SAT	53.4279	53.4459	301204
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1178874381-13.cnf	SAT	62.1655	62.185	305550
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S152598520-02-SAT.cnf	SAT	64.5042	64.5283	307805
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S643005221-14.cnf	SAT	81.2376	81.2622	300794
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1785258608-13.SAT.shuffled.cnf	SAT	82.2715	82.2967	296981
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1973057201-08-SAT.cnf	SAT	118.653	118.737	308912
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S2118640909-06.cnf	SAT	122.786	122.837	306575
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S915337037-05-SAT.cnf	SAT	124.517	124.557	308584
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S67600799-16.cnf	SAT	129.028	129.071	306452
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1568322528-08-SAT.cnf	SAT	139.099	139.137	308256
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S811866391-08.cnf	SAT	141.06	141.114	300999
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1299158672-14.SAT.shuffled.cnf	SAT	144.316	144.356	297022
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S751835224-10.cnf	SAT	161.871	161.918	304402
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1556473581-06.cnf	SAT	162.798	162.86	301040
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S464355209-20-UNKNOWN.cnf	SAT	178.64	178.689	307641
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S388731928-13.cnf	SAT	199.551	199.601	301245
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1307117813-09.UNSAT.shuffled.cnf	SAT	238.997	239.061	297227
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1173369833-06.cnf	SAT	243.951	244.018	306124
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S871621203-03.cnf	SAT	251.726	251.79	304853
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S191957358-10.cnf	SAT	276.268	276.279	300384
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1762612346-15-SAT.cnf	SAT	294.576	294.661	310921
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S971732863-03.cnf	SAT	300.296	300.409	305919
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S2050975470-04.cnf	SAT	305.706	305.792	302557
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S2051531193-03.cnf	SAT	318.812	318.898	306288
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S2026599491-05.cnf	SAT	324.062	324.243	305017
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S471246417-03.cnf	SAT	358.321	358.5	301286
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S565127616-04.cnf	SAT	361.463	361.545	306534
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1586629899-14.cnf	SAT	384.226	384.329	301327
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S417670629-08.cnf	SAT	421.551	421.659	305632
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S2034423571-08.cnf	SAT	439.21	439.332	300548
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1582455625-10.cnf	SAT	445.184	445.29	302516
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S793374232-15.cnf	SAT	453.857	453.875	300958
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S2033299325-04.cnf	SAT	457.704	457.722	300671
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S409844453-15.cnf	SAT	460.157	460.331	300343
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1058323130-08.cnf	SAT	474.377	474.586	300466
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1691487811-15.cnf	SAT	482.892	483.037	300712
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1638354370-16.cnf	SAT	544.163	544.356	300835
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1283500452-05.cnf	SAT	586.644	586.801	300589
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1259611134-14.cnf	SAT	614.77	614.929	301409
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S811174248-16.cnf	SAT	621.247	621.409	301778
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1463391112-08.cnf	SAT	623.079	623.266	301491
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S102550125-14.cnf	SAT	677.613	677.776	306616
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1791291573-05.cnf	SAT	693.573	693.835	301122
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S669431406-04.cnf	SAT	698.396	698.596	305591
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S856579407-15.cnf	SAT	768.034	768.28	306370
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S251010207-06.cnf	SAT	788.864	789.132	305673
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S897388318-05.cnf	SAT	791.714	792.071	306042
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S422570514-15.cnf	SAT	807.846	808.142	302229
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1627256190-14.cnf	SAT	838.935	839.146	301983
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S1326526519-03-SAT.cnf	SAT	932.886	933.193	307846
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S1798323172-15.cnf	SAT	956.861	957.202	303459
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1059928571-06.cnf	SAT	976.399	976.743	300302
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1207324880-03.cnf	SAT	978.86	979.435	302352
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S187076430-06.cnf	SAT	1005.91	1006.19	304238
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1215030506-14.cnf	SAT	1015.54	1015.8	304648
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1285628870-05.cnf	SAT	1018.33	1018.71	302393
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1036103820-03.cnf	SAT	1019.81	1020.09	300917
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S597645631-10.cnf	SAT	1092.32	1092.74	306206

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1392532406-12.UNSAT.shuffled.cnf	? (TO)	1200.01	1200.54	296571
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1924010222-09.UNSAT.shuffled.cnf	? (TO)	1200.01	1200.37	299154
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1063466123-05.cnf	? (TO)	1200.01	1200.45	300220
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S2053050899-08.cnf	? (TO)	1200.01	1200.06	304484
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S56884336-05.cnf	? (TO)	1200.01	1200.3	306493
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S49237390-14.cnf	? (TO)	1200.01	1200.36	307190
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S145970304-01-UNSAT.cnf	? (TO)	1200.01	1200.36	308666
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S183991542-09-SAT.cnf	? (TO)	1200.01	1200.32	311905
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1504426817-07.UNSAT.shuffled.cnf	? (TO)	1200.01	1200.52	295710
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1085782051-01.UNSAT.shuffled.cnf	? (TO)	1200.01	1200.49	298785
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S114606831-19.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.49	293004
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1309933981-04.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.33	292963
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S14782837-06.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.38	295054
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1368015355-04.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.42	296120
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1107155013-20.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.57	295874
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1858313411-09.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.39	297678
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S411047518-16.cnf	? (TO)	1200.02	1200.37	300507
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S485928362-15.cnf	? (TO)	1200.02	1200.16	301819
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S793713844-14.cnf	? (TO)	1200.02	1200.35	303172
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1955740096-08.cnf	? (TO)	1200.02	1200.53	303951
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S498187802-14.cnf	? (TO)	1200.02	1200.33	304525
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S81758219-15.cnf	? (TO)	1200.02	1200.46	305058
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S791125864-16.cnf	? (TO)	1200.02	1200.4	305345
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S1312035429-13.cnf	? (TO)	1200.02	1200.33	306657
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1671384215-01-SAT.cnf	? (TO)	1200.02	1200.41	307969
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1962059985-11-UNSAT.cnf	? (TO)	1200.02	1200.44	308625
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1293761391-11-UNSAT.cnf	? (TO)	1200.02	1200.47	308871
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S1346268409-03-UNSAT.cnf	? (TO)	1200.02	1200.4	309363
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1138392605-05-UNKNOWN.cnf	? (TO)	1200.02	1200.36	310060
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1022605561-16-UNSAT.cnf	? (TO)	1200.02	1200.32	311372
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S478782385-06.cnf	? (TO)	1200.02	1200.45	303582
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1980584520-03.cnf	? (TO)	1200.02	1200.45	304033
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S421554531-04.cnf	? (TO)	1200.02	1200.4	305960
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1280573704-13.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.47	294685
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S2083146463-03.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.4	297637
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1115796430-03.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.44	297842
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1329819842-01.UNSAT.shuffled.cnf	? (TO)	1200.03	1200.48	292676
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1155415292-14.UNSAT.shuffled.cnf	? (TO)	1200.03	1200.39	294234
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1253549494-19.UNSAT.shuffled.cnf	? (TO)	1200.03	1200.47	294193
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1018594061-02.UNSAT.shuffled.cnf	? (TO)	1200.03	1200.38	294562
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1121556476-05.UNSAT.shuffled.cnf	? (TO)	1200.03	1200.38	299072
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1022834397-10.cnf	? (TO)	1200.03	1200.38	301573
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S837858872-05.cnf	? (TO)	1200.03	1200.43	301532
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1407716880-15.cnf	? (TO)	1200.03	1200.46	302803
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S333805260-05.cnf	? (TO)	1200.03	1200.46	303131
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S371462865-10.cnf	? (TO)	1200.03	1200.35	303746
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S679764311-04.cnf	? (TO)	1200.03	1200.43	304443
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1048256369-15.cnf	? (TO)	1200.03	1200.37	304689
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S448238512-10.cnf	? (TO)	1200.03	1200.5	305181
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1946534526-16.cnf	? (TO)	1200.03	1200.56	305468
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1416986890-04.cnf	? (TO)	1200.03	1200.45	306821
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S499481065-10-SAT.cnf	? (TO)	1200.03	1200.48	308502
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S966455977-02-UNSAT.cnf	? (TO)	1200.03	1200.36	309199
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S846304296-04-UNSAT.cnf	? (TO)	1200.03	1200.52	310880
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S702278147-14-UNSAT.cnf	? (TO)	1200.03	1200.46	310716
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S883553387-12-UNSAT.cnf	? (TO)	1200.03	1200.46	312069
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1104990816-03-UNSAT.cnf	? (TO)	1200.03	1200.45	312233
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1412274662-11.UNSAT.shuffled.cnf	? (TO)	1200.03	1200.33	292430
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1590273377-07.UNSAT.shuffled.cnf	? (TO)	1200.03	1200.38	299892
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1446471927-04.cnf	? (TO)	1200.03	1200.44	303008
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1358416858-13.cnf	? (TO)	1200.03	1200.42	303090
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S3230925-04.cnf	? (TO)	1200.03	1200.35	303418
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1986560013-06.cnf	? (TO)	1200.03	1200.35	306862
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1106616038-10.cnf	? (TO)	1200.03	1200.37	307313
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1705860047-05-SAT.cnf	? (TO)	1200.03	1200.52	308748
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S262114230-17-UNSAT.cnf	? (TO)	1200.03	1200.49	311290
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1110074311-09.UNSAT.shuffled.cnf	? (TO)	1200.03	1200.34	292471
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1925680230-06.UNSAT.shuffled.cnf	? (TO)	1200.03	1200.45	299933
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1064282057-06.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.46	291815
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1260745628-20.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.43	291733
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1350256608-20.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.36	292307
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1738460433-02.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.47	294316
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1104207220-18.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.46	294521
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1141171506-10.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.47	294849
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1284960805-05.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.45	294931
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S145251364-05.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.39	295382
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S179716588-02.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.35	296776
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1073303884-15.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.4	297555
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1370059435-05.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.49	298826
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1416010721-11.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.3	298949
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S451874538-03.cnf	? (TO)	1200.04	1200.35	300179
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1121059923-10.cnf	? (TO)	1200.04	1200.36	300753
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S683236487-13.cnf	? (TO)	1200.04	1200.17	301696
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S422410882-13.cnf	? (TO)	1200.04	1200.49	302065
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1517867865-16.cnf	? (TO)	1200.04	1200.36	302311
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1509822356-13.cnf	? (TO)	1200.04	1200.4	302475
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S417904071-03.cnf	? (TO)	1200.04	1200.54	304279
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S450187849-03.cnf	? (TO)	1200.04	1200.37	305755
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1890278326-03.cnf	? (TO)	1200.04	1200.44	306985
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S161446644-14.cnf	? (TO)	1200.04	1200.47	307067
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1753083943-04.cnf	? (TO)	1200.04	1200.64	307108
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1110066181-15-UNSAT.cnf	? (TO)	1200.04	1200.42	308461
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1311582577-17-UNSAT.cnf	? (TO)	1200.04	1200.42	309035
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1529420458-04-UNSAT.cnf	? (TO)	1200.04	1200.46	309855
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1629945861-01-UNKNOWN.cnf	? (TO)	1200.04	1200.41	310019
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1380126410-13.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.57	292594
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1405262666-07.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.42	293988
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S148460961-17.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.47	296407
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1661921212-08.cnf	? (TO)	1200.04	1200.37	302967
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1054448974-13.cnf	? (TO)	1200.04	1200.36	306780
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1330787624-15.cnf	? (TO)	1200.04	1200.49	307354
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1352949000-03-SAT.cnf	? (TO)	1200.04	1200.47	308789
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1279108477-06.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.58	296161
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S127192076-04.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.38	292061
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1483196631-09.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.39	293455
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1183327690-20.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.45	293619
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1061579177-10.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.38	293660
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1080042831-09.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.38	293906
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1301714489-09.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.44	294275
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1235873841-05.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.42	296858
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1161940794-17.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.51	298334
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1517537144-16.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.45	298457
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1922669300-13.cnf	? (TO)	1200.05	1200.38	300138
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S94225360-10.cnf	? (TO)	1200.05	1200.5	303254
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S1751213243-05.cnf	? (TO)	1200.05	1200.38	303705
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S409751023-10.cnf	? (TO)	1200.05	1200.49	303869
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S849793820-03.cnf	? (TO)	1200.05	1200.46	303787
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S120857050-04.cnf	? (TO)	1200.05	1200.37	304730
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1588170820-15.cnf	? (TO)	1200.05	1200.47	305837
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1145101718-14.cnf	? (TO)	1200.05	1200.4	306083
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S657313757-16.cnf	? (TO)	1200.05	1200.48	306165
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S2045682869-15.cnf	? (TO)	1200.05	1200.48	306903
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S295096144-05.cnf	? (TO)	1200.05	1200.45	307026
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S384567560-10-UNKNOWN.cnf	? (TO)	1200.05	1200.5	307600
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S376181597-04-UNKNOWN.cnf	? (TO)	1200.05	1200.47	307764
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1966306571-20-UNSAT.cnf	? (TO)	1200.05	1200.41	309896
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S622482268-08-UNKNOWN.cnf	? (TO)	1200.05	1200.35	310142
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1501024241-13-UNSAT.cnf	? (TO)	1200.05	1200.38	310757
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S68128341-07-UNSAT.cnf	? (TO)	1200.05	1200.38	311208
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1117386741-13-UNSAT.cnf	? (TO)	1200.05	1200.4	311700
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S527248282-10-UNSAT.cnf	? (TO)	1200.05	1200.17	311782
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1147406493-20.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.87	293291
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1459708824-17.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.56	298539
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1970010471-03.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.46	299523
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1546827657-01.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.47	296940
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1898939887-14.cnf	? (TO)	1200.05	1200.49	304197
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1941321941-16.cnf	? (TO)	1200.05	1200.33	304156
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S834531569-01-UNSAT.cnf	? (TO)	1200.05	1200.38	311167
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1317485140-08.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.46	291569
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1279127780-17.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.48	291856
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1481093667-06.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.57	293045
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1519323913-01.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.42	297514
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1711439550-13.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.37	297760
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1257199575-18.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.38	298211
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S274221008-04.cnf	? (TO)	1200.06	1200.37	301368
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1971221253-16.cnf	? (TO)	1200.06	1200.34	301450
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1861814752-08.cnf	? (TO)	1200.06	1200.42	301901
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S260814579-03.cnf	? (TO)	1200.06	1200.42	302024
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S788797920-13.cnf	? (TO)	1200.06	1200.4	302639
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S660110840-06.cnf	? (TO)	1200.06	1200.38	302844
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S938354044-16.cnf	? (TO)	1200.06	1200.39	303623
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S232355738-04.cnf	? (TO)	1200.06	1200.37	303992
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1854213938-15.cnf	? (TO)	1200.06	1200.36	304074
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S57566027-15.cnf	? (TO)	1200.06	1200.39	304320
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S1617760096-16.cnf	? (TO)	1200.06	1200.5	304607
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S2043900701-05.cnf	? (TO)	1200.06	1200.44	304361
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S202413125-05.cnf	? (TO)	1200.06	1200.41	305386
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1099746708-06.cnf	? (TO)	1200.06	1200.49	305304
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1415445307-13.cnf	? (TO)	1200.06	1200.44	305263
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1832504551-17-UNSAT.cnf	? (TO)	1200.06	1200.44	308174
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1613098638-06-UNSAT.cnf	? (TO)	1200.06	1200.47	308092
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S1435246639-05-UNSAT.cnf	? (TO)	1200.06	1200.45	309486
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1955492734-15-UNSAT.cnf	? (TO)	1200.06	1200.39	309937
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S623466762-07-UNSAT.cnf	? (TO)	1200.06	1200.48	311659
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S2037574412-07.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.53	297268
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1168722783-19.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.41	297965
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S52275463-03.cnf	? (TO)	1200.06	1200.44	302885
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1172889356-05.cnf	? (TO)	1200.06	1200.59	307436
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S211365596-08-UNSAT.cnf	? (TO)	1200.06	1200.39	307682
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S365559754-09-UNSAT.cnf	? (TO)	1200.06	1200.51	307723
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1257170129-13.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.41	293127
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1314186802-12.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.37	295669
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1474234583-11.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.52	291938
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1164089919-15.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.48	291897
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1414833579-15.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.41	292389
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1225022879-08.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.34	292881
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1179686861-10.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.38	294603
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1219079555-14.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.41	295259
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S2067396253-13.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.47	296489
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1469277938-19.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.42	297145
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S218576925-17.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.37	298908
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S2127524023-19.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.45	299687
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S2109328271-14.cnf	? (TO)	1200.07	1200.49	300261
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1342589780-15.cnf	? (TO)	1200.07	1200.38	301737
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S36357048-10.cnf	? (TO)	1200.07	1200.49	301860
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1128222245-05.cnf	? (TO)	1200.07	1200.56	301942
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S640027679-08.cnf	? (TO)	1200.07	1200.51	303213
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S659720099-13.cnf	? (TO)	1200.07	1200.41	304566
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1826229031-16.cnf	? (TO)	1200.07	1200.5	304771
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1998470614-06.cnf	? (TO)	1200.07	1200.59	304976
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1600965758-04.cnf	? (TO)	1200.07	1200.53	305222
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1757451736-02-UNSAT.cnf	? (TO)	1200.07	1200.48	308379
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S1082766609-17-UNSAT.cnf	? (TO)	1200.07	1200.4	309281
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1239472001-19-UNSAT.cnf	? (TO)	1200.07	1200.15	311044
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1488855480-20-UNSAT.cnf	? (TO)	1200.07	1200.45	312192
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S105499989-20.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.37	299810
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S406284248-03.cnf	? (TO)	1200.07	1200.49	301614
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S1923240245-08.cnf	? (TO)	1200.07	1200.55	303500
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1826381479-08.cnf	? (TO)	1200.07	1200.36	305427
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S287388441-16.cnf	? (TO)	1200.07	1200.36	306698
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1680450953-04-UNSAT.cnf	? (TO)	1200.07	1200.4	311946
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1399781364-05.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.39	293373
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1517604033-06.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.39	293947
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1387394500-16.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.47	294808
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1215610276-02.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.37	295546
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1262395962-18.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.43	295423
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1119543818-13.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.44	296202
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S235206606-20.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.5	297473
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1212545732-02.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.63	298088
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1211740352-20.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.41	298375
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1518709554-16.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.53	299359
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S16540223-14.cnf	? (TO)	1200.08	1200.46	302188
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S998136463-10.cnf	? (TO)	1200.08	1200.62	302762
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S2053960853-04-UNSAT.cnf	? (TO)	1200.08	1200.39	308830
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1545977164-16-SAT.cnf	? (TO)	1200.08	1200.55	308953
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1275186626-09-UNSAT.cnf	? (TO)	1200.08	1200.6	309609
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1071799860-07-UNSAT.cnf	? (TO)	1200.08	1200.58	310388
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1893175053-01-UNSAT.cnf	? (TO)	1200.08	1200.47	310634
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S2108627398-03-UNSAT.cnf	? (TO)	1200.08	1200.47	311741
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S142115187-18.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.64	293332
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1013535775-14.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.45	299851
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1172786648-06.cnf	? (TO)	1200.08	1200.49	301655
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S467706592-03.cnf	? (TO)	1200.08	1200.51	303049
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S787287513-16.cnf	? (TO)	1200.08	1200.58	302926
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1535300821-05.cnf	? (TO)	1200.08	1200.54	304115
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S883878972-08.cnf	? (TO)	1200.08	1200.51	306739
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1314701073-08.cnf	? (TO)	1200.08	1200.18	307272
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S2078602069-04-UNSAT.cnf	? (TO)	1200.08	1200.41	308051
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1307633938-08-UNSAT.cnf	? (TO)	1200.08	1200.41	308707
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1155123565-17.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.26	295464
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1311675672-04.UNSAT.shuffled.cnf	? (TO)	1200.09	1200.53	296817
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1963468459-10.UNSAT.shuffled.cnf	? (TO)	1200.09	1200.63	299031
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1243695187-06.cnf	? (TO)	1200.09	1200.54	302106
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1227285183-04.cnf	? (TO)	1200.09	1200.42	302147
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1739132237-05.cnf	? (TO)	1200.09	1200.47	302721
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S41627158-13.cnf	? (TO)	1200.09	1200.56	303828
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S779713554-13.cnf	? (TO)	1200.09	1200.52	304812
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S886048189-14.cnf	? (TO)	1200.09	1200.41	305099
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1438185261-13.cnf	? (TO)	1200.09	1200.44	306001
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1455331099-09-SAT.cnf	? (TO)	1200.09	1200.57	308133
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S977957999-02-UNSAT.cnf	? (TO)	1200.09	1200.44	308297
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1626790907-13-UNSAT.cnf	? (TO)	1200.09	1200.51	309117
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1349608788-18-UNSAT.cnf	? (TO)	1200.09	1200.49	309076
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S832358630-11-UNSAT.cnf	? (TO)	1200.09	1200.51	309240
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S779175761-20-UNSAT.cnf	? (TO)	1200.09	1200.39	310470
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1240130681-11-UNSAT.cnf	? (TO)	1200.09	1200.51	310839
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S923582293-10-UNSAT.cnf	? (TO)	1200.09	1200.49	311454
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1402143852-01.UNSAT.shuffled.cnf	? (TO)	1200.09	1200.93	292266
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S453945536-08.cnf	? (TO)	1200.09	1200.46	302434
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1096972624-15.cnf	? (TO)	1200.09	1200.5	303377
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S879514135-06.cnf	? (TO)	1200.09	1200.52	303910
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1377128774-12-UNSAT.cnf	? (TO)	1200.09	1200.49	308010
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1439774943-07-UNSAT.cnf	? (TO)	1200.09	1200.43	312315
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1411264373-05.UNSAT.shuffled.cnf	? (TO)	1200.1	1200.54	293701
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1225217164-02.UNSAT.shuffled.cnf	? (TO)	1200.1	1200.4	295833
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S167199451-11.UNSAT.shuffled.cnf	? (TO)	1200.1	1200.39	295997
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1154156114-09.UNSAT.shuffled.cnf	? (TO)	1200.1	1200.43	298744
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1341479044-12.UNSAT.shuffled.cnf	? (TO)	1200.1	1200.45	299482
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S440198403-10.UNSAT.shuffled.cnf	? (TO)	1200.1	1200.49	299605
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S769702923-04.cnf	? (TO)	1200.1	1200.42	300425
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S2117580343-16.cnf	? (TO)	1200.1	1200.48	303336
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1805843968-06.cnf	? (TO)	1200.1	1200.44	303295
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1274869912-15.cnf	? (TO)	1200.1	1200.53	305878
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1912540524-08.cnf	? (TO)	1200.1	1200.54	306247
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1189233705-10.cnf	? (TO)	1200.1	1200.4	306944
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1496322949-03.cnf	? (TO)	1200.1	1200.44	307149
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1889416016-07-UNSAT.cnf	? (TO)	1200.1	1200.49	309814
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S994434255-18-UNKNOWN.cnf	? (TO)	1200.1	1200.5	310183
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1248103115-09-UNKNOWN.cnf	? (TO)	1200.1	1200.4	310224
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1230630010-06-UNSAT.cnf	? (TO)	1200.1	1200.51	310962
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S25157261-20-UNSAT.cnf	? (TO)	1200.1	1200.51	311249
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1554939604-02-UNSAT.cnf	? (TO)	1200.1	1200.42	312151
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1671397883-11.UNSAT.shuffled.cnf	? (TO)	1200.1	1200.92	300056
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1175862975-06.cnf	? (TO)	1200.1	1200.53	302270
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S77566504-14.cnf	? (TO)	1200.1	1200.65	303664
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1661055114-06.cnf	? (TO)	1200.1	1200.61	307395
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1875179522-13.cnf	? (TO)	1200.1	1200.45	307477
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1142849726-12.UNSAT.shuffled.cnf	? (TO)	1200.11	1200.53	293414
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1195605559-14.UNSAT.shuffled.cnf	? (TO)	1200.11	1200.62	294644
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1142219800-20.UNSAT.shuffled.cnf	? (TO)	1200.11	1200.42	295177
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1708367663-03.UNSAT.shuffled.cnf	? (TO)	1200.11	1200.46	296079
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1762817022-10.UNSAT.shuffled.cnf	? (TO)	1200.11	1200.5	297063
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1037473581-12.UNSAT.shuffled.cnf	? (TO)	1200.11	1200.42	297924
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1373941726-12.UNSAT.shuffled.cnf	? (TO)	1200.11	1200.45	298580
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1403172096-14.cnf	? (TO)	1200.11	1200.48	302598
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1366805398-04.cnf	? (TO)	1200.11	1200.46	302680
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S666382280-13.cnf	? (TO)	1200.11	1200.46	303541
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1980187645-03.cnf	? (TO)	1200.11	1200.54	305140
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S880121748-08.cnf	? (TO)	1200.11	1200.58	306411
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1299985238-16.cnf	? (TO)	1200.11	1200.52	307231
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1151229574-11-UNSAT.cnf	? (TO)	1200.11	1200.42	311618
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1065385609-07.UNSAT.shuffled.cnf	? (TO)	1200.11	1200.48	296448
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1424595365-09.UNSAT.shuffled.cnf	? (TO)	1200.12	1200.54	292225

SAT 2007 Competition Phase 1: benchmarks results per solver

Result page for solver adaptnovelty 2007-02-08

Category "crafted instances" (CRAFTED)

Solver found a solution (SATISFIABLE) (3 runs) [Show/Hide]

Solver didn't decide (UNKNOWN) (5 runs) [Show/Hide]

Solver timed out (no solution given) (193 runs) [Show/Hide]

Category "industrial instances" (INDUST)

Solver found a solution (SATISFIABLE) (3 runs) [Show/Hide]

Solver timed out (no solution given) (231 runs) [Show/Hide]

Category "random instances" (RANDOM)

Solver found a solution (SATISFIABLE) (218 runs) [Show/Hide]

Solver timed out (no solution given) (293 runs) [Show/Hide]