SAT 2007 Competition Phase 1: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/spence/ medium/s57-100.cnf	UNSAT	0.703892	0.705338	316273
crafted/spence/ medium/s61-100.cnf	UNSAT	1.65375	1.65564	316113
crafted/spence/ medium/s65-100.cnf	UNSAT	3.61445	3.61554	316433
crafted/spence/ medium/s69-100.cnf	UNSAT	8.5707	8.57573	316193
crafted/spence/ medium/s73-100.cnf	UNSAT	20.3199	20.3225	316313
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	UNSAT	35.7476	35.7919	332238
crafted/Medium/contest05/sabharwal/ counting-easier-fphp-012-010.sat05-1214.reshuffled-07.cnf	UNSAT	36.5714	36.5822	332490
crafted/spence/ medium/s77-100.cnf	UNSAT	46.3869	46.404	316073
crafted/spence/ medium/s81-100.cnf	UNSAT	111.724	111.77	316153
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	UNSAT	118.603	118.634	332994
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	UNSAT	212.424	212.483	333288
crafted/spence/ medium/s85-100.cnf	UNSAT	226.251	226.315	316393
crafted/spence/ medium/s89-100.cnf	UNSAT	546.775	547.01	316353
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	UNSAT	666.431	666.671	332406
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	UNSAT	744.728	744.922	337992
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	UNSAT	817.572	817.851	339630

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	SAT	60.5458	60.5664	333540
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-2.sat05-2174.reshuffled-07.cnf	SAT	336.262	336.373	333414
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	SAT	392.733	392.846	333456
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-1.sat05-2158.reshuffled-07.cnf	SAT	713.227	713.431	333498

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/spence/ hard/s97-100.cnf	? (TO)	1200.01	1200.31	316633
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.01	1200.31	334002
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.01	1200.41	334170
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.01	1200.31	334212
crafted/Hard/contest05/others/ strips-gripper-12t22.sat05-1151.reshuffled-07.cnf	? (TO)	1200.01	1200.41	336270
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.01	1200.51	337824
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.01	1200.31	338706
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-135-2.sat05-2354.reshuffled-07.cnf	? (TO)	1200.01	1200.31	339336
crafted/spence/ medium/s93-100.cnf	? (TO)	1200.02	1200.31	316233
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.02	1200.41	334296
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.02	1200.51	334422
crafted/Hard/contest05/counting-php/ easier-fphp-020-015.sat05-1218.reshuffled-07.cnf	? (TO)	1200.02	1200.31	335766
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.02	1200.41	335976
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.02	1200.71	336816
crafted/Hard/contest02/ ezfact64_4.sat05-451.reshuffled-07.cnf	? (TO)	1200.02	1200.41	337026
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.02	1200.41	337740
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.02	1200.41	337572
crafted/Hard/contest03/looksrandom/ hgen8-n320-03-S1572374531.sat05-485.reshuffled-07.cnf	? (TO)	1200.02	1200.41	337866
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	? (TO)	1200.02	1200.31	338118
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (TO)	1200.02	1200.41	338244
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.02	1200.31	338874
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.02	1200.41	339168
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.02	1200.31	339252
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	? (TO)	1200.02	1200.31	339462
crafted/spence/ hard/s101-100.cnf	? (TO)	1200.03	1200.41	316513
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf	? (TO)	1200.03	1200.41	332658
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	? (TO)	1200.03	1200.11	333036
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	? (TO)	1200.03	1200.11	333330
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.03	1200.41	335136
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.03	1200.41	335430
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.03	1200.11	335892
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.03	1200.51	336228
crafted/Hard/contest02/ ezfact64_5.sat05-452.reshuffled-07.cnf	? (TO)	1200.03	1200.51	336732
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.03	1200.41	337362
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.03	1200.51	337614
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.03	1200.51	337908
crafted/Hard/contest03/looksrandom/ hgen7-n390-01-S248216171.sat05-478.reshuffled-07.cnf	? (TO)	1200.03	1200.11	337782
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	? (TO)	1200.03	1200.51	339084
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (TO)	1200.03	1200.51	339588
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	? (TO)	1200.03	1200.31	339714
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.03	1200.43	339840
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.03	1200.41	339672
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	? (TO)	1200.04	1200.52	334716
crafted/Hard/contest05/counting-php/ harder-fphp-070-069.sat05-1240.reshuffled-07.cnf	? (TO)	1200.04	1200.41	335598
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.04	1200.41	336060
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.04	1200.31	337068
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.04	1200.21	337110
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.04	1200.31	338496
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	1200.04	1200.33	338916
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (TO)	1200.04	1200.51	339378
crafted/spence/ hard/s113-100.cnf	? (TO)	1200.05	1200.41	316473
crafted/Medium/contest05/sabharwal/ gt-ordering-sat-gt-030.sat05-1295.reshuffled-07.cnf	? (TO)	1200.05	1200.51	332280
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	? (TO)	1200.05	1200.61	333246
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.05	1200.41	334044
crafted/Hard/contest05/QG/ QG7a-gensys-icl001.sat05-3822.reshuffled-07.cnf	? (TO)	1200.05	1200.51	335346
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.05	1200.51	336018
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.05	1200.52	336102
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-30-19-20.sat05-1256.reshuffled-07.cnf	? (TO)	1200.05	1200.51	336564
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.05	1200.51	337152
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	? (TO)	1200.05	1200.51	338202
crafted/Difficult/contest05/sabharwal/ counting-easier-fphp-014-012.sat05-1215.reshuffled-07.cnf	? (TO)	1200.05	1200.41	338538
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.05	1200.41	339294
crafted/spence/ hard/s117-100.cnf	? (TO)	1200.06	1200.41	316593
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	? (TO)	1200.06	1200.51	332700
crafted/Medium/contest05/pebbling/ unsat-pbl-00070.sat05-1324.reshuffled-07.cnf	? (TO)	1200.06	1200.41	332742
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	? (TO)	1200.06	1200.41	333372
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	? (TO)	1200.06	1200.51	333582
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-240-3.sat05-2205.reshuffled-07.cnf	? (TO)	1200.06	1200.51	333750
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.06	1200.61	333834
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.06	1200.51	333918
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.06	1200.51	334464
crafted/Hard/contest05/counting-php/ easier-php-035-029.sat05-1179.reshuffled-07.cnf	? (TO)	1200.06	1200.41	335556
crafted/Hard/contest03/others/ bqwh.60.1080.sat05-436.reshuffled-07.cnf	? (TO)	1200.06	1200.51	337404
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-03-S1609878926.sat05-487.reshuffled-07.cnf	? (TO)	1200.06	1200.41	337698
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	? (TO)	1200.06	1200.41	338160
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	? (TO)	1200.06	1200.51	338454
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	? (TO)	1200.06	1200.61	338664
crafted/Difficult/contest-02-03-04/ contest03-hwb-n26-01-S1957858365.sat05-500.reshuffled-07.cnf	? (TO)	1200.06	1200.41	339504
crafted/spence/ hard/s105-100.cnf	? (TO)	1200.07	1200.51	316673
crafted/Medium/contest05/sabharwal/ gt-ordering-unsat-gt-030.sat05-1307.reshuffled-07.cnf	? (TO)	1200.07	1200.41	332112
crafted/Medium/contest05/sabharwal/ gt-ordering-unsat-gt-035.sat05-1308.reshuffled-07.cnf	? (TO)	1200.07	1200.41	332196
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	? (TO)	1200.07	1200.41	332448
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	? (TO)	1200.07	1200.51	332532
crafted/Medium/contest05/pebbling/ sat-pbl-00400.sat05-1322.reshuffled-07.cnf	? (TO)	1200.07	1200.51	332616
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	? (TO)	1200.07	1200.61	332826
crafted/Medium/contest05/others/ QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf	? (TO)	1200.07	1200.61	333120
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.04-s1788334438.sat05-543.reshuffled-07.cnf	? (TO)	1200.07	1200.51	334128
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.07	1200.41	334506
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.07	1200.43	334758
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.sat05-4189.reshuffled-07.cnf	? (TO)	1200.07	1200.43	334800
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.07	1200.42	334884
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.07	1200.51	335178
crafted/Hard/contest05/counting-php/ harder-php-045-044.sat05-1195.reshuffled-07.cnf	? (TO)	1200.07	1200.41	335724
crafted/Hard/contest05/others/ linvrinv6.sat05-565.reshuffled-07.cnf	? (TO)	1200.07	1200.91	335934
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.07	1200.61	336396
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.07	1200.91	337656
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	? (TO)	1200.07	1200.41	338370
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	1200.07	1200.41	339420
crafted/spence/ hard/s109-100.cnf	? (TO)	1200.08	1200.41	316553
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-10t19.sat05-1143.reshuffled-07.cnf	? (TO)	1200.08	1200.51	332322
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf	? (TO)	1200.08	1200.51	332574
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.08	1200.41	333876
crafted/Hard/contest04/others/ equilarge_l5.sat05-522.reshuffled-07.cnf	? (TO)	1200.08	1200.41	334548
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	1200.08	1200.45	334926
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.08	1200.44	335010
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (TO)	1200.08	1200.61	335052
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.08	1200.41	335304
crafted/Hard/contest05/counting-php/ harder-php-025-024.sat05-1191.reshuffled-07.cnf	? (TO)	1200.08	1200.41	335808
crafted/Hard/contest05/counting-clq/ unsat-set-a-fclqcolor-10-06-07.sat05-1274.reshuffled-07.cnf	? (TO)	1200.08	1200.41	336312
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.08	1200.41	336144
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.08	1200.41	336858
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.08	1200.41	336984
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.08	1200.41	337194
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (TO)	1200.08	1200.51	338076
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	? (TO)	1200.08	1200.51	338328
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.08	1200.51	338412
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.08	1200.51	338790
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.08	1200.41	338748
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.08	1200.41	338958
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-2.sat05-2567.reshuffled-07.cnf	? (TO)	1200.08	1200.51	339210
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.08	1200.41	339126
crafted/Medium/contest05/sabharwal/ gt-ordering-unsat-gt-025.sat05-1306.reshuffled-07.cnf	? (TO)	1200.09	1200.51	332154
crafted/Medium/contest05/sabharwal/ unsat-logistics-rotate-09t5.sat05-1139.reshuffled-07.cnf	? (TO)	1200.09	1200.41	332364
crafted/Medium/contest05/pebbling/ unsat-pbl-00150.sat05-1328.reshuffled-07.cnf	? (TO)	1200.09	1200.41	332784
crafted/Medium/contest05/others/ gensys-ukn002.sat05-2744.reshuffled-07.cnf	? (TO)	1200.09	1200.41	332952
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	? (TO)	1200.09	1200.51	333078
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	? (TO)	1200.09	1200.51	333162
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	? (TO)	1200.09	1200.41	333624
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s405595518.sat05-531.reshuffled-07.cnf	? (TO)	1200.09	1200.41	334086
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.09	1200.53	334380
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.09	1200.61	334590
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.09	1200.52	334842
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	1200.09	1200.41	335094
crafted/Hard/contest05/QG/ QG7-dead-dnd002.sat05-3108.reshuffled-07.cnf	? (TO)	1200.09	1200.41	335262
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.09	1200.41	335220
crafted/Hard/contest05/QG/ QG7a-gensys-icl009.sat05-3830.reshuffled-07.cnf	? (TO)	1200.09	1200.51	335388
crafted/Hard/contest05/counting-php/ harder-fphp-050-049.sat05-1238.reshuffled-07.cnf	? (TO)	1200.09	1200.41	335514
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.09	1200.51	336480
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-10-06-07.sat05-1250.reshuffled-07.cnf	? (TO)	1200.09	1200.51	336522
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.09	1200.51	336648
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.09	1200.41	336690
crafted/Hard/contest02/ ezfact64_6.sat05-453.reshuffled-07.cnf	? (TO)	1200.09	1200.51	336900
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.09	1200.51	337236
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.09	1200.51	337530
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.09	1200.71	337446
crafted/Difficult/contest05/sabharwal/ logistics-unsat-logistics-rotate-11t5.sat05-1141.reshuffled-07.cnf	? (TO)	1200.09	1200.81	338580
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.09	1200.61	338622
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.09	1200.41	339546
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.09	1200.61	339756
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200.1	1200.61	333708
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.1	1200.51	333792
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d-0.02-s1542454144.sat05-533.reshuffled-07.cnf	? (TO)	1200.1	1200.51	333960
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.1	1200.41	334254
crafted/Hard/contest05/counting-php/ harder-fphp-035-034.sat05-1235.reshuffled-07.cnf	? (TO)	1200.1	1200.61	335640
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-12-07-08.sat05-1251.reshuffled-07.cnf	? (TO)	1200.1	1200.41	336354
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-30-20-26.sat05-1264.reshuffled-07.cnf	? (TO)	1200.1	1200.61	336606
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.1	1200.61	336942
crafted/Hard/contest03/others/ hwb-n26-03-S540351185.sat05-490.reshuffled-07.cnf	? (TO)	1200.1	1200.51	337278
crafted/Hard/contest03/others/ hwb-n28-02-S818962541.sat05-492.reshuffled-07.cnf	? (TO)	1200.1	1200.51	337320
crafted/Hard/contest03/looksrandom/ hgen8-n260-03-S722413478.sat05-482.reshuffled-07.cnf	? (TO)	1200.1	1200.41	337950
crafted/Difficult/contest05/QG/ QG6-gensys-icl006.sat05-2718.reshuffled-07.cnf	? (TO)	1200.1	1200.41	338286
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.1	1200.51	338832
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	? (TO)	1200.1	1200.41	339798
crafted/Medium/contest05/pebbling/ unsat-pbl-00250.sat05-1330.reshuffled-07.cnf	? (TO)	1200.11	1200.41	332868
crafted/Medium/contest05/pebbling/ unsat-pbl-00200.sat05-1329.reshuffled-07.cnf	? (TO)	1200.11	1200.61	332910
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	? (TO)	1200.11	1200.41	333204
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	? (TO)	1200.11	1200.51	333666
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.11	1200.51	334338
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.11	1200.42	334632
crafted/Hard/contest05/counting-php/ harder-fphp-016-015.sat05-1230.reshuffled-07.cnf	? (TO)	1200.11	1200.51	335472
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.11	1200.51	335682
crafted/Hard/contest05/counting-php/ harder-fphp-018-017.sat05-1231.reshuffled-07.cnf	? (TO)	1200.11	1200.61	335850
crafted/Hard/contest05/counting-clq/ unsat-set-a-fclqcolor-20-13-14.sat05-1278.reshuffled-07.cnf	? (TO)	1200.11	1200.51	336438
crafted/Hard/contest03/others/ mm-2x3-8-8-sb.1.sat05-475.reshuffled-07.cnf	? (TO)	1200.11	1200.71	337488
crafted/Difficult/contest05/QG/ QG6-dead-dnd001.sat05-2742.reshuffled-07.cnf	? (TO)	1200.11	1200.61	338034
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.11	1200.51	339000
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.11	1200.51	339042
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l2.used-as.sat04-894.sat05-4188.reshuffled-07.cnf	? (TO)	1200.12	1200.44	334674
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	1200.12	1200.45	336186
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.12	1200.62	336774
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	1200.13	1200.54	334968

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/jarvisalo/ eq.atree.braun.7.unsat.cnf	UNSAT	3.3035	3.30613	319040
industrial/babic/xinetd/ xinetd_vc56687.cnf	UNSAT	13.353	13.3581	320721
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	13.4989	13.5068	320967
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	17.3064	17.3136	319204
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	57.6842	57.7119	318507
industrial/babic/dspam/ dspam_dump_vc962.cnf	UNSAT	62.1346	62.1834	318220
industrial/babic/dspam/ dspam_dump_vc950.cnf	UNSAT	63.0054	63.0322	318425
industrial/babic/dspam/ dspam_dump_vc972.cnf	UNSAT	76.4834	76.5342	318302
industrial/babic/dspam/ dspam_dump_vc973.cnf	UNSAT	80.8187	80.8519	318384
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	119.281	119.318	319122
industrial/babic/ dspam/dspam_dump_vc1081.cnf	UNSAT	239.132	239.201	318466
industrial/babic/ dspam/dspam_dump_vc1080.cnf	UNSAT	239.535	239.614	318548
industrial/babic/ dspam/dspam_dump_vc1093.cnf	UNSAT	240.305	240.381	318179
industrial/babic/ dspam/dspam_dump_vc1103.cnf	UNSAT	245.224	245.313	318261
industrial/babic/ dspam/dspam_dump_vc1104.cnf	UNSAT	245.842	245.93	318343
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	602.879	603.11	319245
industrial/babic/hsatv17/ hsat_vc11935.cnf	UNSAT	729.611	729.796	318753
industrial/babic/hsatv17/ hsat_vc11944.cnf	UNSAT	730.279	730.497	318835
industrial/babic/hsatv17/ hsat_vc12016.cnf	UNSAT	731.407	731.598	318876

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/grieu/ vmpc_24.cnf	SAT	337.049	337.163	319860
industrial/grieu/ vmpc_25.cnf	SAT	502.214	502.441	319696
industrial/grieu/ vmpc_26.cnf	SAT	660.182	660.438	320065

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/fuhs/medium/ AProVE07-21.cnf	? (TO)	1200.01	1200.51	314513
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.01	1200.51	314753
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k50.cnf	? (TO)	1200.01	1200.61	329796
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k15.cnf	? (TO)	1200.01	1200.31	330636
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	? (TO)	1200.02	1200.42	315633
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k45.cnf	? (TO)	1200.02	1200.62	330090
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k40.cnf	? (TO)	1200.02	1200.31	330426
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k85.cnf	? (TO)	1200.02	1200.42	330804
industrial/anbulagan/ medium-sat/total-5-19-s.cnf	? (TO)	1200.03	1200.43	313193
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.03	1200.32	314233
industrial/fuhs/medium/ AProVE07-20.cnf	? (TO)	1200.03	1200.41	314633
industrial/palacios/uts/ uts-l06-ipc5-h30-unknown.cnf	? (TO)	1200.03	1200.32	315433
industrial/palacios/medium/ emptyroom-4-h22-sat.cnf	? (TO)	1200.03	1200.41	315873
industrial/ crypto/mizh-md5-47-4.cnf	? (TO)	1200.03	1200.51	319409
industrial/crypto/ mizh-sha0-36-2.cnf	? (TO)	1200.03	1200.41	319614
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.03	1200.41	319983
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.03	1200.51	320024
industrial/manolios/ manol-pipe-g10bidw.cnf	? (TO)	1200.03	1200.42	320270
industrial/babic/ xinetd/itox_vc1044.cnf	? (TO)	1200.03	1200.42	320803
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k70.cnf	? (TO)	1200.03	1200.52	330258
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.04	1200.33	312473
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	1200.04	1200.33	312753
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.04	1200.53	312913
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.04	1200.41	314953
industrial/palacios/uts/ uts-l06-ipc5-h34-unknown.cnf	? (TO)	1200.04	1200.22	315273
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	? (TO)	1200.04	1200.62	315353
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	? (TO)	1200.04	1200.52	316033
industrial/ crypto/mizh-md5-48-5.cnf	? (TO)	1200.04	1200.41	319532
industrial/manolios/ manol-pipe-c7nidw.cnf	? (TO)	1200.04	1200.42	320188
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k15.cnf	? (TO)	1200.04	1200.41	328704
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	1200.04	1200.51	328662
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k55.cnf	? (TO)	1200.04	1200.57	328620
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k100.cnf	? (TO)	1200.04	1200.52	329964
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k90.cnf	? (TO)	1200.04	1200.42	330048
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	? (TO)	1200.04	1200.52	330510
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k65.cnf	? (TO)	1200.04	1200.52	330468
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k25.cnf	? (TO)	1200.04	1200.12	330594
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.04	1200.43	313673
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.05	1200.52	313513
industrial/fuhs/medium/ AProVE07-06.cnf	? (TO)	1200.05	1200.41	314593
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.05	1200.43	314993
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.05	1200.44	315113
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.05	1200.43	315713
industrial/palacios/ medium/cube-9-h11-sat.cnf	? (TO)	1200.05	1200.52	315833
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.05	1200.51	319778
industrial/grieu/ vmpc_31.cnf	? (TO)	1200.05	1200.61	319901
industrial/babic/ xinetd/itox_vc1216.cnf	? (TO)	1200.05	1200.52	320926
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k75.cnf	? (TO)	1200.05	1200.41	329334
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k65.cnf	? (TO)	1200.05	1200.51	329250
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k90.cnf	? (TO)	1200.05	1200.51	329376
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k55.cnf	? (TO)	1200.05	1200.41	329418
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k95.cnf	? (TO)	1200.05	1200.42	329712
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k60.cnf	? (TO)	1200.05	1200.42	329838
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k75.cnf	? (TO)	1200.05	1200.52	330552
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.05	1200.53	331056
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug2.cnf	? (TO)	1200.05	1200.53	331560
industrial/anbulagan/ hard-unsat/partial-5-19-u.cnf	? (TO)	1200.05	1200.43	313473
industrial/anbulagan/ medium-sat/total-5-17-s.cnf	? (TO)	1200.06	1200.13	312993
industrial/anbulagan/ medium-sat/total-10-15-s.cnf	? (TO)	1200.06	1200.53	313353
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.06	1200.41	314873
industrial/palacios/uts/ uts-l06-ipc5-h29-unknown.cnf	? (TO)	1200.06	1200.62	315313
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	? (TO)	1200.06	1200.62	315553
industrial/crypto/ mizh-sha0-35-4.cnf	? (TO)	1200.06	1200.51	319327
industrial/ crypto/mizh-md5-48-2.cnf	? (TO)	1200.06	1200.51	319368
industrial/ crypto/mizh-md5-47-5.cnf	? (TO)	1200.06	1200.51	319655
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.06	1200.41	319819
industrial/grieu/ vmpc_27.cnf	? (TO)	1200.06	1200.41	319737
industrial/narain/ clauses-4.cnf	? (TO)	1200.06	1200.53	320598
industrial/manolios/ manol-pipe-c6nidw_i.cnf	? (TO)	1200.06	1200.51	320311
industrial/manolios/ manol-pipe-c10nidw_s.cnf	? (TO)	1200.06	1200.46	320229
industrial/babic/ xinetd/itox_vc1033.cnf	? (TO)	1200.06	1200.52	321008
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k40.cnf	? (TO)	1200.06	1200.61	328788
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k85.cnf	? (TO)	1200.06	1200.41	328914
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k95.cnf	? (TO)	1200.06	1200.51	328956
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k70.cnf	? (TO)	1200.06	1200.42	329628
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k75.cnf	? (TO)	1200.06	1200.42	330006
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k50.cnf	? (TO)	1200.06	1200.42	330174
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k30.cnf	? (TO)	1200.06	1200.51	330720
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	? (TO)	1200.06	1200.53	331266
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	? (TO)	1200.06	1200.62	312633
industrial/anbulagan/ hard-sat/partial-5-19-s.cnf	? (TO)	1200.07	1200.53	312793
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.07	1200.62	313953
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.07	1200.43	315193
industrial/palacios/ medium/sortnet-7-ipc5-h16-sat.cnf	? (TO)	1200.07	1200.41	315953
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.07	1200.41	319081
industrial/crypto/ mizh-sha0-35-5.cnf	? (TO)	1200.07	1200.41	319491
industrial/crypto/ mizh-sha0-35-2.cnf	? (TO)	1200.07	1200.51	319573
industrial/manolios/ manol-pipe-f7idw.cnf	? (TO)	1200.07	1200.52	320106
industrial/manolios/ manol-pipe-c7bidw_i.cnf	? (TO)	1200.07	1200.52	320434
industrial/narain/ clauses-2.cnf	? (TO)	1200.07	1200.41	320516
industrial/babic/ xinetd/itox_vc909.cnf	? (TO)	1200.07	1200.52	320885
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k70.cnf	? (TO)	1200.07	1200.41	328872
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k40.cnf	? (TO)	1200.07	1200.41	329544
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k35.cnf	? (TO)	1200.07	1200.51	329754
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k100.cnf	? (TO)	1200.07	1200.43	330762
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.07	1200.52	331182
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.07	1200.43	312713
industrial/anbulagan/ hard-sat/partial-10-19-s.cnf	? (TO)	1200.08	1200.43	312833
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.08	1200.52	313273
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.08	1200.53	313433
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.08	1200.62	313753
industrial/fuhs/medium/ AProVE07-15.cnf	? (TO)	1200.08	1200.41	314553
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.08	1200.51	314713
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	? (TO)	1200.08	1200.52	315993
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.08	1200.41	315793
industrial/palacios/medium/ safe-30-h30-sat.cnf	? (TO)	1200.08	1200.52	315913
industrial/narain/ clauses-6.cnf	? (TO)	1200.08	1200.53	320680
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k10.cnf	? (TO)	1200.08	1200.51	329082
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k35.cnf	? (TO)	1200.08	1200.51	329040
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	1200.08	1200.41	329292
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k80.cnf	? (TO)	1200.08	1200.52	329460
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k45.cnf	? (TO)	1200.08	1200.51	329502
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k85.cnf	? (TO)	1200.08	1200.52	329670
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k25.cnf	? (TO)	1200.08	1200.51	329880
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	? (TO)	1200.08	1200.42	330216
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (TO)	1200.08	1200.43	331224
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug3.cnf	? (TO)	1200.08	1200.6	331518
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	? (TO)	1200.08	1200.52	312673
industrial/anbulagan/ medium-sat/dated-10-13-s.cnf	? (TO)	1200.08	1200.52	313233
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	? (TO)	1200.08	1200.52	312513
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.08	1200.42	314193
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.08	1200.44	330930
industrial/anbulagan/ hard-unsat/partial-10-11-u.cnf	? (TO)	1200.09	1200.42	314073
industrial/fuhs/medium/ AProVE07-02.cnf	? (TO)	1200.09	1200.41	314353
industrial/fuhs/medium/ AProVE07-22.cnf	? (TO)	1200.09	1200.51	314473
industrial/fuhs/medium/ AProVE07-11.cnf	? (TO)	1200.09	1200.41	314433
industrial/fuhs/medium/ AProVE07-04.cnf	? (TO)	1200.09	1200.41	314673
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.09	1200.52	314913
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.09	1200.51	314793
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.09	1200.51	315033
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	? (TO)	1200.09	1200.41	315393
industrial/palacios/uts/ uts-l06-ipc5-h32-unknown.cnf	? (TO)	1200.09	1200.42	315473
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	? (TO)	1200.09	1200.52	315513
industrial/babic/hsatv17/ hsat_vc11817.cnf	? (TO)	1200.09	1200.43	318917
industrial/babic/hsatv17/ hsat_vc11803.cnf	? (TO)	1200.09	1200.43	318794
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.09	1200.41	318999
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.09	1200.51	319163
industrial/manolios/ manol-pipe-g10nid.cnf	? (TO)	1200.09	1200.52	320393
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k30.cnf	? (TO)	1200.09	1200.41	328830
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k50.cnf	? (TO)	1200.09	1200.51	329124
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k25.cnf	? (TO)	1200.09	1200.51	329208
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k60.cnf	? (TO)	1200.09	1200.41	329166
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k95.cnf	? (TO)	1200.09	1200.42	330300
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k90.cnf	? (TO)	1200.09	1200.62	330678
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug9.cnf	? (TO)	1200.09	1200.43	331350
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug10.cnf	? (TO)	1200.09	1200.53	331308
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.09	1200.43	312873
industrial/babic/ xinetd/itox_vc1138.cnf	? (TO)	1200.09	1200.92	321049
industrial/anbulagan/ medium-sat/total-10-19-s.cnf	? (TO)	1200.09	1200.54	313033
industrial/anbulagan/ hard-sat/partial-10-11-s.cnf	? (TO)	1200.09	1200.42	312953
industrial/anbulagan/ medium-sat/partial-5-11-s.cnf	? (TO)	1200.09	1200.42	313113
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.09	1200.43	313393
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.09	1200.62	313713
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug1.cnf	? (TO)	1200.09	1200.53	331476
industrial/anbulagan/ medium-unsat/total-10-11-u.cnf	? (TO)	1200.1	1200.52	312593
industrial/anbulagan/ medium-sat/dated-10-17-s.cnf	? (TO)	1200.1	1200.63	313313
industrial/fuhs/hard/ AProVE07-03.cnf	? (TO)	1200.1	1200.41	314833
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	? (TO)	1200.1	1200.52	315593
industrial/palacios/medium/ cube-9-h10-unsat.cnf	? (TO)	1200.1	1200.42	315673
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.1	1200.51	319942
industrial/ manolios/manol-pipe-f9n.cnf	? (TO)	1200.1	1200.92	320352
industrial/babic/ xinetd/itox_vc1130.cnf	? (TO)	1200.1	1200.42	320762
industrial/manolios/ manol-pipe-f10ni.cnf	? (TO)	1200.1	1200.43	320475
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	1200.1	1200.41	328746
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	1200.1	1200.51	328998
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k30.cnf	? (TO)	1200.1	1200.41	329586
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k35.cnf	? (TO)	1200.1	1200.61	330384
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (TO)	1200.1	1200.53	331602
industrial/babic/hsatv17/ hsat_vc12072.cnf	? (TO)	1200.1	1200.43	318589
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.1	1200.42	314033
industrial/anbulagan/ hard-unsat/dated-10-11-u.cnf	? (TO)	1200.1	1200.42	313873
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1200.1	1200.53	314153
industrial/anbulagan/ medium-unsat/dated-10-15-u.cnf	? (TO)	1200.1	1200.42	312553
industrial/anbulagan/ hard-unsat/partial-10-15-u.cnf	? (TO)	1200.11	1200.43	313553
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.11	1200.53	314113
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.11	1200.52	315153
industrial/palacios/hard/ sortnet-6-ipc5-h11-unsat.cnf	? (TO)	1200.11	1200.41	315233
industrial/crypto/ mizh-sha0-35-3.cnf	? (TO)	1200.11	1200.41	319286
industrial/ crypto/mizh-md5-47-3.cnf	? (TO)	1200.11	1200.61	319450
industrial/ manolios/manol-pipe-f9b.cnf	? (TO)	1200.11	1200.52	320147
industrial/babic/ xinetd/itox_vc965.cnf	? (TO)	1200.11	1200.52	320844
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k60.cnf	? (TO)	1200.11	1200.42	330132
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k20.cnf	? (TO)	1200.11	1200.41	330342
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.11	1200.52	331014
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.11	1200.51	330846
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.11	1200.45	330972
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug4.cnf	? (TO)	1200.11	1200.43	331392
industrial/babic/hsatv17/ hsat_vc11773.cnf	? (TO)	1200.11	1200.63	318630
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.11	1200.42	313073
industrial/anbulagan/ hard-unsat/total-10-15-u.cnf	? (TO)	1200.11	1200.53	313913
industrial/anbulagan/ hard-unsat/partial-10-17-u.cnf	? (TO)	1200.11	1200.53	313633
industrial/anbulagan/ medium-sat/total-10-17-s.cnf	? (TO)	1200.12	1200.43	313153
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.12	1200.53	313793
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.12	1200.43	315753
industrial/babic/hsatv17/ hsat_vc12070.cnf	? (TO)	1200.12	1200.53	318671
industrial/babic/hsatv17/ hsat_vc11813.cnf	? (TO)	1200.12	1200.53	318712
industrial/babic/hsatv17/ hsat_vc12062.cnf	? (TO)	1200.12	1200.53	318958
industrial/narain/ clauses-8.cnf	? (TO)	1200.12	1200.46	320557
industrial/babic/ xinetd/itox_vc979.cnf	? (TO)	1200.12	1200.42	321090
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k65.cnf	? (TO)	1200.12	1200.52	329922
industrial/anbulagan/ hard-unsat/dated-10-13-u.cnf	? (TO)	1200.12	1200.42	313993
industrial/anbulagan/ hard-unsat/total-5-19-u.cnf	? (TO)	1200.12	1200.43	313833
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.12	1200.42	314273
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.12	1200.43	314313
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	1200.13	1200.58	331098
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.13	1200.42	313593
industrial/palacios/hard/ safe-50-h50-sat.cnf	? (TO)	1200.14	1200.64	315073
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1200.14	1200.47	331140
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (TO)	1200.17	1200.6	330888
industrial/narain/ clauses-10.cnf	? (TO)	1200.2	1200.69	320639

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/fuhs/medium/ AProVE07-09.cnf	Signal 11 (SIGSEGV)	0.036993	0.0387861	314393
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug7.cnf	Signal 11 (SIGSEGV)	5.9231	5.92586	331434

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1240130681-11-UNSAT.cnf	UNSAT	5.55015	5.5535	310834
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1893175053-01-UNSAT.cnf	UNSAT	23.3125	23.3217	310629
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S127192076-04.UNSAT.shuffled.cnf	UNSAT	32.1591	32.183	292056
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1424595365-09.UNSAT.shuffled.cnf	UNSAT	33.5879	33.6	292220
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1474234583-11.UNSAT.shuffled.cnf	UNSAT	34.8257	34.8353	291933
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1350256608-20.UNSAT.shuffled.cnf	UNSAT	36.9884	37	292302
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1402143852-01.UNSAT.shuffled.cnf	UNSAT	37.2153	37.2262	292261
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1501024241-13-UNSAT.cnf	UNSAT	63.4054	63.4292	310752
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1110066181-15-UNSAT.cnf	UNSAT	71.8091	71.8295	308456
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1104990816-03-UNSAT.cnf	UNSAT	102.252	102.281	312228
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S977957999-02-UNSAT.cnf	UNSAT	118.518	118.556	308292
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S779175761-20-UNSAT.cnf	UNSAT	127.947	127.989	310465
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S834531569-01-UNSAT.cnf	UNSAT	128.734	128.777	311162
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S702278147-14-UNSAT.cnf	UNSAT	141.275	141.33	310711
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1064282057-06.UNSAT.shuffled.cnf	UNSAT	171.998	172.059	291810
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1317485140-08.UNSAT.shuffled.cnf	UNSAT	177.601	177.655	291564
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1260745628-20.UNSAT.shuffled.cnf	UNSAT	199.972	200.023	291728
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1164089919-15.UNSAT.shuffled.cnf	UNSAT	202.962	203.017	291892
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1279127780-17.UNSAT.shuffled.cnf	UNSAT	215.311	215.37	291851
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1370059435-05.UNSAT.shuffled.cnf	UNSAT	254.381	254.524	298821
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1373941726-12.UNSAT.shuffled.cnf	UNSAT	269.167	269.247	298575
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1154156114-09.UNSAT.shuffled.cnf	UNSAT	282.049	282.163	298739
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1239472001-19-UNSAT.cnf	UNSAT	325.7	325.779	311039
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1085782051-01.UNSAT.shuffled.cnf	UNSAT	384.673	384.773	298780
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S179716588-02.UNSAT.shuffled.cnf	UNSAT	433.661	433.757	296771
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1311675672-04.UNSAT.shuffled.cnf	UNSAT	441.621	441.739	296812
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1065385609-07.UNSAT.shuffled.cnf	UNSAT	445.378	445.506	296443
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S2067396253-13.UNSAT.shuffled.cnf	UNSAT	450.188	450.305	296484
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1392532406-12.UNSAT.shuffled.cnf	UNSAT	459.584	459.818	296566
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1459708824-17.UNSAT.shuffled.cnf	UNSAT	492.29	492.493	298534
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1230630010-06-UNSAT.cnf	UNSAT	728.43	728.688	310957
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S846304296-04-UNSAT.cnf	UNSAT	731.202	731.36	310875
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1412274662-11.UNSAT.shuffled.cnf	UNSAT	908.105	908.39	292425
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1380126410-13.UNSAT.shuffled.cnf	UNSAT	965.62	965.989	292589
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1414833579-15.UNSAT.shuffled.cnf	UNSAT	981.31	981.658	292384
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1329819842-01.UNSAT.shuffled.cnf	UNSAT	1057.13	1057.49	292671
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1925680230-06.UNSAT.shuffled.cnf	UNSAT	1122.85	1123.16	299928

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1788789488-19-SAT.cnf	SAT	0.080987	0.0814819	310588
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S2006871543-06.SAT.shuffled.cnf	SAT	0.592909	0.594448	292097
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S2048803580-17.SAT.shuffled.cnf	SAT	1.89071	1.89285	299969
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1386858597-08-SAT.cnf	SAT	2.25366	2.25814	312269
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1416418480-05.SAT.shuffled.cnf	SAT	2.85956	2.86226	292179
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S2081149830-10.SAT.shuffled.cnf	SAT	3.2995	3.3015	292138
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S15127148-17.SAT.shuffled.cnf	SAT	11.7442	11.7482	292015
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1217224084-10.SAT.shuffled.cnf	SAT	14.7948	14.7979	298698
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1456895752-14.SAT.shuffled.cnf	SAT	16.8204	16.8268	291605
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S2109173872-19.SAT.shuffled.cnf	SAT	19.2671	19.2734	298616
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S2099846342-04-SAT.cnf	SAT	21.0168	21.0238	310506
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S256297823-16.SAT.shuffled.cnf	SAT	22.3936	22.4019	291646
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1496918883-18.SAT.shuffled.cnf	SAT	26.557	26.5681	299190
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S236549621-14.SAT.shuffled.cnf	SAT	28.3077	28.3198	291974
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1264328999-02.SAT.shuffled.cnf	SAT	34.7547	34.7696	291769
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S309048450-11.SAT.shuffled.cnf	SAT	42.5645	42.5815	291523
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1282416669-17.SAT.shuffled.cnf	SAT	42.6985	42.7113	292548
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1804595013-08-SAT.cnf	SAT	62.8294	62.8543	310670
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1806915801-08.SAT.shuffled.cnf	SAT	70.5943	70.6149	298862
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1210495375-04.SAT.shuffled.cnf	SAT	78.93	78.961	291687
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1568197186-18-SAT.cnf	SAT	80.0588	80.0901	308333
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S122221229-14.SAT.shuffled.cnf	SAT	84.8461	84.8694	292712
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1752604460-10.SAT.shuffled.cnf	SAT	90.1233	90.1516	299723
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S2094973797-12-SAT.cnf	SAT	140.879	140.931	310424
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1422217194-16.SAT.shuffled.cnf	SAT	141.868	141.99	298657
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1678549664-11-SAT.cnf	SAT	149.011	149.06	309645
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1344401737-18.SAT.shuffled.cnf	SAT	167.613	167.659	296689
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1830776056-07.SAT.shuffled.cnf	SAT	184.99	185.035	294721
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1257266562-15.SAT.shuffled.cnf	SAT	185.123	185.181	298493
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1437321789-17.SAT.shuffled.cnf	SAT	202.041	202.095	296525
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1529462267-19.SAT.shuffled.cnf	SAT	341.921	342.004	296607
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1244126495-18-SAT.cnf	SAT	347.637	347.776	310547
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1209647106-12-SAT.cnf	SAT	347.87	347.974	311080
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1665384822-14-SAT.cnf	SAT	359.791	359.889	310793
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1155547357-11.SAT.shuffled.cnf	SAT	366.981	367.085	296730
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1566131367-09.SAT.shuffled.cnf	SAT	367.643	367.76	296648
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1342521403-06.SAT.shuffled.cnf	SAT	386.473	386.574	292343
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1279599478-02.SAT.shuffled.cnf	SAT	417.023	417.144	298042
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1561551265-12.SAT.shuffled.cnf	SAT	431.271	431.395	300010
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S228456758-12.SAT.shuffled.cnf	SAT	510.289	510.507	294434
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1476745538-08-SAT.cnf	SAT	516.928	517.07	311121
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1762612346-15-SAT.cnf	SAT	604.735	604.984	310916
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1445529008-02.SAT.shuffled.cnf	SAT	656.147	656.538	292630
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1821409123-12-SAT.cnf	SAT	728.792	728.981	308989
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1674723394-12.SAT.shuffled.cnf	SAT	964.197	964.624	292507
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S108421787-03.SAT.shuffled.cnf	SAT	1047.95	1048.31	295582
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1031412672-05.SAT.shuffled.cnf	SAT	1132.76	1133.5	299764

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1813726766-14.SAT.shuffled.cnf	? (TO)	1200.01	1200.4	293819
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S216896591-15.SAT.shuffled.cnf	? (TO)	1200.01	1200.31	297714
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1965764400-19.SAT.shuffled.cnf	? (TO)	1200.01	1200.45	298288
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1775402689-01.SAT.shuffled.cnf	? (TO)	1200.01	1200.35	299272
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S811174248-16.cnf	? (TO)	1200.01	1200.53	301773
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1580061366-10.cnf	? (TO)	1200.01	1200.44	305504
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S2078602069-04-UNSAT.cnf	? (TO)	1200.01	1200.46	308046
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S1346268409-03-UNSAT.cnf	? (TO)	1200.01	1200.48	309358
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1889416016-07-UNSAT.cnf	? (TO)	1200.01	1200.4	309809
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1137479270-03-SAT.cnf	? (TO)	1200.01	1200.36	311572
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S2108627398-03-UNSAT.cnf	? (TO)	1200.01	1200.36	311736
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1155123565-17.UNSAT.shuffled.cnf	? (TO)	1200.01	1200.49	295459
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1826229031-16.cnf	? (TO)	1200.01	1200.41	304766
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S883878972-08.cnf	? (TO)	1200.01	1200.49	306734
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S476496922-18-SAT.cnf	? (TO)	1200.01	1200.83	312023
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1284937235-05.SAT.shuffled.cnf	? (TO)	1200.01	1200.39	294024
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1399781364-05.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.32	293368
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1257170129-13.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.33	293122
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1215610276-02.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.33	295541
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1107155013-20.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.4	295869
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1846251911-07.SAT.shuffled.cnf	? (TO)	1200.02	1200.46	296238
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1235873841-05.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.42	296853
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1970010471-03.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.38	299518
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1638354370-16.cnf	? (TO)	1200.02	1200.47	300830
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S422410882-13.cnf	? (TO)	1200.02	1200.42	302060
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1207324880-03.cnf	? (TO)	1200.02	1200.35	302347
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S3230925-04.cnf	? (TO)	1200.02	1200.47	303413
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S77566504-14.cnf	? (TO)	1200.02	1200.55	303659
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S849793820-03.cnf	? (TO)	1200.02	1200.45	303782
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S232355738-04.cnf	? (TO)	1200.02	1200.47	303987
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S2026599491-05.cnf	? (TO)	1200.02	1200.52	305012
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1980187645-03.cnf	? (TO)	1200.02	1200.52	305135
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1274869912-15.cnf	? (TO)	1200.02	1200.49	305873
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1054448974-13.cnf	? (TO)	1200.02	1200.39	306775
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1189233705-10.cnf	? (TO)	1200.02	1200.51	306939
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S376181597-04-UNKNOWN.cnf	? (TO)	1200.02	1200.44	307759
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S499481065-10-SAT.cnf	? (TO)	1200.02	1200.28	308497
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1529420458-04-UNSAT.cnf	? (TO)	1200.02	1200.49	309850
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1629945861-01-UNKNOWN.cnf	? (TO)	1200.02	1200.42	310014
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1449408666-02-SAT.cnf	? (TO)	1200.02	1200.48	309973
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1575802003-16-SAT.cnf	? (TO)	1200.02	1200.48	310260
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S883553387-12-UNSAT.cnf	? (TO)	1200.02	1200.53	312064
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1439774943-07-UNSAT.cnf	? (TO)	1200.02	1200.43	312310
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1019153514-04.SAT.shuffled.cnf	? (TO)	1200.02	1200.71	293860
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1344671309-04.SAT.shuffled.cnf	? (TO)	1200.02	1200.46	295500
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1490740667-05.SAT.shuffled.cnf	? (TO)	1200.02	1200.34	298124
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1013535775-14.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.53	299846
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1172889356-05.cnf	? (TO)	1200.02	1200.53	307431
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1705860047-05-SAT.cnf	? (TO)	1200.02	1200.44	308743
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1680450953-04-UNSAT.cnf	? (TO)	1200.02	1200.37	311941
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1858313411-09.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.51	297673
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1219079555-14.UNSAT.shuffled.cnf	? (TO)	1200.03	1200.44	295254
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1533440099-09.SAT.shuffled.cnf	? (TO)	1200.03	1200.44	295787
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1635684145-01.SAT.shuffled.cnf	? (TO)	1200.03	1200.46	295951
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1469277938-19.UNSAT.shuffled.cnf	? (TO)	1200.03	1200.39	297140
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S2083146463-03.UNSAT.shuffled.cnf	? (TO)	1200.03	1200.44	297632
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1259611134-14.cnf	? (TO)	1200.03	1200.19	301404
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1861814752-08.cnf	? (TO)	1200.03	1200.48	301896
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S640027679-08.cnf	? (TO)	1200.03	1200.55	303208
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S1798323172-15.cnf	? (TO)	1200.03	1200.39	303454
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1955740096-08.cnf	? (TO)	1200.03	1200.47	303946
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S41627158-13.cnf	? (TO)	1200.03	1200.43	303823
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S751835224-10.cnf	? (TO)	1200.03	1200.36	304397
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S417670629-08.cnf	? (TO)	1200.03	1200.37	305627
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S880121748-08.cnf	? (TO)	1200.03	1200.41	306406
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S2045682869-15.cnf	? (TO)	1200.03	1200.55	306898
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S384567560-10-UNKNOWN.cnf	? (TO)	1200.03	1200.39	307595
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S464355209-20-UNKNOWN.cnf	? (TO)	1200.03	1200.45	307636
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S152598520-02-SAT.cnf	? (TO)	1200.03	1200.48	307800
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S1082766609-17-UNSAT.cnf	? (TO)	1200.03	1200.39	309276
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S1435246639-05-UNSAT.cnf	? (TO)	1200.03	1200.41	309481
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S361865778-09-SAT.cnf	? (TO)	1200.03	1200.36	309522
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1014417748-14-SAT.cnf	? (TO)	1200.03	1200.36	309768
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1679085272-10-SAT.cnf	? (TO)	1200.03	1200.49	310998
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S527248282-10-UNSAT.cnf	? (TO)	1200.03	1200.35	311777
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S2084125686-20-SAT.cnf	? (TO)	1200.03	1200.52	311818
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1168722783-19.UNSAT.shuffled.cnf	? (TO)	1200.03	1200.37	297960
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1036103820-03.cnf	? (TO)	1200.03	1200.45	300912
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1509822356-13.cnf	? (TO)	1200.03	1200.49	302470
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S467706592-03.cnf	? (TO)	1200.03	1200.52	303044
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S478782385-06.cnf	? (TO)	1200.03	1200.38	303577
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1980584520-03.cnf	? (TO)	1200.03	1200.38	304028
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1376493471-11.SAT.shuffled.cnf	? (TO)	1200.03	1200.38	293532
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1059928571-06.cnf	? (TO)	1200.03	1200.34	300297
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S744612847-12.SAT.shuffled.cnf	? (TO)	1200.04	1200.45	292753
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S114606831-19.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.45	292999
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S804631280-01.SAT.shuffled.cnf	? (TO)	1200.04	1200.33	292917
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1301714489-09.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.46	294270
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1018594061-02.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.35	294557
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1738460433-02.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.32	294311
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1104207220-18.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.39	294516
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1292104917-07.SAT.shuffled.cnf	? (TO)	1200.04	1200.12	295336
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S14782837-06.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.38	295049
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1319091742-10.SAT.shuffled.cnf	? (TO)	1200.04	1200.38	296033
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1762817022-10.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.39	297058
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1963596997-08.SAT.shuffled.cnf	? (TO)	1200.04	1200.39	297181
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1517537144-16.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.39	298452
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1104692480-03.SAT.shuffled.cnf	? (TO)	1200.04	1200.54	299231
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S2127524023-19.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.38	299682
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1063466123-05.cnf	? (TO)	1200.04	1200.19	300215
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S769702923-04.cnf	? (TO)	1200.04	1200.38	300420
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S793374232-15.cnf	? (TO)	1200.04	1200.37	300953
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S837858872-05.cnf	? (TO)	1200.04	1200.18	301527
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1227285183-04.cnf	? (TO)	1200.04	1200.78	302142
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S2050975470-04.cnf	? (TO)	1200.04	1200.46	302552
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1366805398-04.cnf	? (TO)	1200.04	1200.47	302675
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S793713844-14.cnf	? (TO)	1200.04	1200.34	303167
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S2117580343-16.cnf	? (TO)	1200.04	1200.47	303331
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S409751023-10.cnf	? (TO)	1200.04	1200.39	303864
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S2053050899-08.cnf	? (TO)	1200.04	1200.48	304479
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S779713554-13.cnf	? (TO)	1200.04	1200.52	304807
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S342579098-10.cnf	? (TO)	1200.04	1200.39	304930
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S448238512-10.cnf	? (TO)	1200.04	1200.44	305176
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S202413125-05.cnf	? (TO)	1200.04	1200.39	305381
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S669431406-04.cnf	? (TO)	1200.04	1200.37	305586
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S421554531-04.cnf	? (TO)	1200.04	1200.45	305955
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S67600799-16.cnf	? (TO)	1200.04	1200.4	306447
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S365559754-09-UNSAT.cnf	? (TO)	1200.04	1200.37	307718
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1757451736-02-UNSAT.cnf	? (TO)	1200.04	1200.61	308374
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S218623752-19-SAT.cnf	? (TO)	1200.04	1200.51	309399
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1071799860-07-UNSAT.cnf	? (TO)	1200.04	1200.43	310383
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S316347254-19-SAT.cnf	? (TO)	1200.04	1200.44	311408
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1703132040-12-SAT.cnf	? (TO)	1200.04	1200.5	311490
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S116991008-16.SAT.shuffled.cnf	? (TO)	1200.04	1200.46	294106
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S2099893633-17.SAT.shuffled.cnf	? (TO)	1200.04	1200.47	294967
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1416010721-11.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.35	298944
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S411047518-16.cnf	? (TO)	1200.04	1200.35	300502
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1058323130-08.cnf	? (TO)	1200.04	1200.46	300461
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S471833188-06.cnf	? (TO)	1200.04	1200.79	300871
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S52275463-03.cnf	? (TO)	1200.04	1200.36	302880
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1898939887-14.cnf	? (TO)	1200.04	1200.44	304192
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S120857050-04.cnf	? (TO)	1200.04	1200.37	304725
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1875179522-13.cnf	? (TO)	1200.04	1200.48	307472
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1661055114-06.cnf	? (TO)	1200.04	1200.47	307390
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S592344929-16-SAT.cnf	? (TO)	1200.04	1200.45	309440
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1248103115-09-UNKNOWN.cnf	? (TO)	1200.04	1200.36	310219
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1363528912-04-SAT.cnf	? (TO)	1200.04	1200.43	312433
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1155415292-14.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.42	294229
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1225022879-08.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.38	292876
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1869272420-19.SAT.shuffled.cnf	? (TO)	1200.05	1200.48	293573
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1755163742-08.SAT.shuffled.cnf	? (TO)	1200.05	1200.46	294475
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1179686861-10.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.37	294598
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1456038697-16.SAT.shuffled.cnf	? (TO)	1200.05	1200.41	297304
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1470952774-07.SAT.shuffled.cnf	? (TO)	1200.05	1200.43	299436
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1341479044-12.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.4	299477
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1691487811-15.cnf	? (TO)	1200.05	1200.4	300707
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1791291573-05.cnf	? (TO)	1200.05	1200.4	301117
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S274221008-04.cnf	? (TO)	1200.05	1200.38	301363
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1172786648-06.cnf	? (TO)	1200.05	1200.58	301650
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1342589780-15.cnf	? (TO)	1200.05	1200.48	301732
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S485928362-15.cnf	? (TO)	1200.05	1200.48	301814
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1627256190-14.cnf	? (TO)	1200.05	1200.46	301978
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1582455625-10.cnf	? (TO)	1200.05	1200.4	302511
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1407716880-15.cnf	? (TO)	1200.05	1200.37	302798
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S788797920-13.cnf	? (TO)	1200.05	1200.41	302634
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S660110840-06.cnf	? (TO)	1200.05	1200.44	302839
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1446471927-04.cnf	? (TO)	1200.05	1200.5	303003
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1805843968-06.cnf	? (TO)	1200.05	1200.4	303290
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S94225360-10.cnf	? (TO)	1200.05	1200.5	303249
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1178874381-13.cnf	? (TO)	1200.05	1200.4	305545
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S450187849-03.cnf	? (TO)	1200.05	1200.4	305750
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1588170820-15.cnf	? (TO)	1200.05	1200.36	305832
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S657313757-16.cnf	? (TO)	1200.05	1200.38	306160
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S427890210-10.cnf	? (TO)	1200.05	1200.4	306324
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S102550125-14.cnf	? (TO)	1200.05	1200.45	306611
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S565127616-04.cnf	? (TO)	1200.05	1200.39	306529
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S49237390-14.cnf	? (TO)	1200.05	1200.38	307185
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S1097641288-15-SAT.cnf	? (TO)	1200.05	1200.38	307554
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1870497322-13-SAT.cnf	? (TO)	1200.05	1200.91	309686
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1284960805-05.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.47	294926
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S44928635-12.SAT.shuffled.cnf	? (TO)	1200.05	1200.46	298247
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1982407920-12.SAT.shuffled.cnf	? (TO)	1200.05	1200.43	298985
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S883927618-10.cnf	? (TO)	1200.05	1200.5	301158
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1535300821-05.cnf	? (TO)	1200.05	1200.6	304110
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1163137157-19-SAT.cnf	? (TO)	1200.05	1200.45	311982
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S429936805-03.SAT.shuffled.cnf	? (TO)	1200.05	1200.49	293245
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1405262666-07.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.52	293983
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S191957358-10.cnf	? (TO)	1200.05	1200.37	300379
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1110074311-09.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.44	292466
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1047920973-05.SAT.shuffled.cnf	? (TO)	1200.06	1200.48	293081
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1411264373-05.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.41	293696
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1390822082-06.SAT.shuffled.cnf	? (TO)	1200.06	1200.51	294393
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1195605559-14.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.5	294639
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1141171506-10.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.41	294844
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S461794864-15.SAT.shuffled.cnf	? (TO)	1200.06	1200.41	295131
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1225217164-02.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.46	295828
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1519323913-01.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.48	297509
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1699479488-11.SAT.shuffled.cnf	? (TO)	1200.06	1200.46	297345
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1037473581-12.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.38	297919
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1159448555-06.SAT.shuffled.cnf	? (TO)	1200.06	1200.38	299313
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1121059923-10.cnf	? (TO)	1200.06	1200.37	300748
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1463391112-08.cnf	? (TO)	1200.06	1200.4	301486
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S683236487-13.cnf	? (TO)	1200.06	1200.42	301691
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1243695187-06.cnf	? (TO)	1200.06	1200.59	302101
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1285628870-05.cnf	? (TO)	1200.06	1200.42	302388
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1403172096-14.cnf	? (TO)	1200.06	1200.48	302593
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S333805260-05.cnf	? (TO)	1200.06	1200.34	303126
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1215030506-14.cnf	? (TO)	1200.06	1200.46	304643
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1048256369-15.cnf	? (TO)	1200.06	1200.41	304684
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1426208256-08.cnf	? (TO)	1200.06	1200.49	304889
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1986560013-06.cnf	? (TO)	1200.06	1200.46	306857
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1909130260-19-SAT.cnf	? (TO)	1200.06	1200.37	307923
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S549070267-05-SAT.cnf	? (TO)	1200.06	1200.61	307882
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1455331099-09-SAT.cnf	? (TO)	1200.06	1200.57	308128
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1568322528-08-SAT.cnf	? (TO)	1200.06	1200.44	308251
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1286605994-07-SAT.cnf	? (TO)	1200.06	1200.4	308210
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S30788164-07-SAT.cnf	? (TO)	1200.06	1200.39	308538
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1307633938-08-UNSAT.cnf	? (TO)	1200.06	1200.38	308702
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S668297284-15-SAT.cnf	? (TO)	1200.06	1200.38	311531
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S923582293-10-UNSAT.cnf	? (TO)	1200.06	1200.47	311449
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1109841921-18.SAT.shuffled.cnf	? (TO)	1200.06	1200.38	294147
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1513299405-10.SAT.shuffled.cnf	? (TO)	1200.06	1200.37	294065
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S453945536-08.cnf	? (TO)	1200.06	1200.49	302429
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1438185261-13.cnf	? (TO)	1200.06	1200.42	305996
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1907907390-05.SAT.shuffled.cnf	? (TO)	1200.06	1200.38	295746
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S340864765-13.SAT.shuffled.cnf	? (TO)	1200.06	1200.47	293163
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1183327690-20.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.57	293614
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1718130589-01.SAT.shuffled.cnf	? (TO)	1200.06	1200.48	294762
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1214515938-10.SAT.shuffled.cnf	? (TO)	1200.06	1200.51	295295
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1262395962-18.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.42	295418
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S409844453-15.cnf	? (TO)	1200.06	1200.59	300338
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S141590207-13.SAT.shuffled.cnf	? (TO)	1200.06	1200.39	300092
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1309933981-04.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.45	292958
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1080042831-09.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.41	293901
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1280573704-13.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.43	294680
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1387394500-16.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.39	294803
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1142219800-20.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.47	295172
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1708367663-03.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.45	296074
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1546827657-01.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.42	296935
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1534329206-02.SAT.shuffled.cnf	? (TO)	1200.07	1200.4	296894
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1711439550-13.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.42	297755
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1211740352-20.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.38	298370
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1121556476-05.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.47	299067
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1559029529-16.cnf	? (TO)	1200.07	1200.62	301076
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1556473581-06.cnf	? (TO)	1200.07	1200.36	301035
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S388731928-13.cnf	? (TO)	1200.07	1200.38	301240
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1971221253-16.cnf	? (TO)	1200.07	1200.41	301445
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S422570514-15.cnf	? (TO)	1200.07	1200.42	302224
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S666382280-13.cnf	? (TO)	1200.07	1200.56	303536
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S417904071-03.cnf	? (TO)	1200.07	1200.5	304274
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S498187802-14.cnf	? (TO)	1200.07	1200.46	304520
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S251010207-06.cnf	? (TO)	1200.07	1200.45	305668
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S971732863-03.cnf	? (TO)	1200.07	1200.41	305914
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S597645631-10.cnf	? (TO)	1200.07	1200.54	306201
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S856579407-15.cnf	? (TO)	1200.07	1200.46	306365
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1671384215-01-SAT.cnf	? (TO)	1200.07	1200.39	307964
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S145970304-01-UNSAT.cnf	? (TO)	1200.07	1200.46	308661
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1311582577-17-UNSAT.cnf	? (TO)	1200.07	1200.15	309030
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1349608788-18-UNSAT.cnf	? (TO)	1200.07	1200.41	309071
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1626790907-13-UNSAT.cnf	? (TO)	1200.07	1200.6	309112
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1557868591-12-SAT.cnf	? (TO)	1200.07	1200.43	309563
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1966306571-20-UNSAT.cnf	? (TO)	1200.07	1200.38	309891
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S994434255-18-UNKNOWN.cnf	? (TO)	1200.07	1200.6	310178
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S262114230-17-UNSAT.cnf	? (TO)	1200.07	1200.4	311285
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1891492462-09-SAT.cnf	? (TO)	1200.07	1200.45	311326
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1117386741-13-UNSAT.cnf	? (TO)	1200.07	1200.38	311695
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1151229574-11-UNSAT.cnf	? (TO)	1200.07	1200.46	311613
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1483146927-18.SAT.shuffled.cnf	? (TO)	1200.07	1200.34	297796
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1736865558-13.SAT.shuffled.cnf	? (TO)	1200.07	1200.45	298411
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S440198403-10.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.55	299600
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S1312035429-13.cnf	? (TO)	1200.07	1200.35	306652
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1939769766-11-SAT.cnf	? (TO)	1200.07	1200.52	312392
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1553613509-20.SAT.shuffled.cnf	? (TO)	1200.07	1200.81	295213
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1483196631-09.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.48	293450
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S2044406543-15.SAT.shuffled.cnf	? (TO)	1200.08	1200.38	293737
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1314186802-12.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.46	295664
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1119543818-13.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.47	296197
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1368015355-04.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.51	296115
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1372215289-05.SAT.shuffled.cnf	? (TO)	1200.08	1200.47	296361
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1572638390-17.SAT.shuffled.cnf	? (TO)	1200.08	1200.4	297099
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1212545732-02.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.48	298083
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S539876024-03.SAT.shuffled.cnf	? (TO)	1200.08	1200.34	298165
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1518709554-16.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.41	299354
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1481730841-18.SAT.shuffled.cnf	? (TO)	1200.08	1200.38	299395
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S105499989-20.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.48	299805
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S2034423571-08.cnf	? (TO)	1200.08	1200.39	300543
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S643005221-14.cnf	? (TO)	1200.08	1200.6	300789
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S260814579-03.cnf	? (TO)	1200.08	1200.43	302019
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1128222245-05.cnf	? (TO)	1200.08	1200.49	301937
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S57566027-15.cnf	? (TO)	1200.08	1200.5	304315
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S679764311-04.cnf	? (TO)	1200.08	1200.57	304438
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S81758219-15.cnf	? (TO)	1200.08	1200.5	305053
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1600965758-04.cnf	? (TO)	1200.08	1200.36	305217
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1946534526-16.cnf	? (TO)	1200.08	1200.41	305463
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1173369833-06.cnf	? (TO)	1200.08	1200.38	306119
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1145101718-14.cnf	? (TO)	1200.08	1200.5	306078
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1496322949-03.cnf	? (TO)	1200.08	1200.54	307144
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1299985238-16.cnf	? (TO)	1200.08	1200.63	307226
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1613098638-06-UNSAT.cnf	? (TO)	1200.08	1200.49	308087
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1832504551-17-UNSAT.cnf	? (TO)	1200.08	1200.4	308169
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1517457236-16-SAT.cnf	? (TO)	1200.08	1200.34	308415
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S915337037-05-SAT.cnf	? (TO)	1200.08	1200.5	308579
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1962059985-11-UNSAT.cnf	? (TO)	1200.08	1200.47	308620
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1138392605-05-UNKNOWN.cnf	? (TO)	1200.08	1200.41	310055
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1955492734-15-UNSAT.cnf	? (TO)	1200.08	1200.51	309932
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1091800488-20-SAT.cnf	? (TO)	1200.08	1200.48	310342
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S30263233-06-SAT.cnf	? (TO)	1200.08	1200.46	310301
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1022605561-16-UNSAT.cnf	? (TO)	1200.08	1200.39	311367
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S64317265-01-SAT.cnf	? (TO)	1200.08	1200.4	312105
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S2037574412-07.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.48	297263
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1671397883-11.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.4	300051
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1191693850-19.SAT.shuffled.cnf	? (TO)	1200.08	1200.63	293204
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1022834397-10.cnf	? (TO)	1200.08	1200.37	301568
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S406284248-03.cnf	? (TO)	1200.08	1200.39	301609
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1175862975-06.cnf	? (TO)	1200.08	1200.5	302265
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1358416858-13.cnf	? (TO)	1200.08	1200.6	303085
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S938354044-16.cnf	? (TO)	1200.08	1200.52	303618
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S871621203-03.cnf	? (TO)	1200.08	1200.48	304848
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1826381479-08.cnf	? (TO)	1200.08	1200.44	305422
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1416986890-04.cnf	? (TO)	1200.08	1200.4	306816
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S211365596-08-UNSAT.cnf	? (TO)	1200.08	1200.51	307677
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1785258608-13.SAT.shuffled.cnf	? (TO)	1200.08	1200.46	296976
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1950672055-10.SAT.shuffled.cnf	? (TO)	1200.08	1200.4	298001
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1678989107-02.SAT.shuffled.cnf	? (TO)	1200.08	1200.47	295008
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1615006153-07.SAT.shuffled.cnf	? (TO)	1200.09	1200.35	293491
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1517604033-06.UNSAT.shuffled.cnf	? (TO)	1200.09	1200.52	293942
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S145251364-05.UNSAT.shuffled.cnf	? (TO)	1200.09	1200.42	295377
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1279108477-06.UNSAT.shuffled.cnf	? (TO)	1200.09	1200.41	296156
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1141835011-09.SAT.shuffled.cnf	? (TO)	1200.09	1200.42	297386
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1166224100-13.SAT.shuffled.cnf	? (TO)	1200.09	1200.35	297591
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1257199575-18.UNSAT.shuffled.cnf	? (TO)	1200.09	1200.39	298206
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1963468459-10.UNSAT.shuffled.cnf	? (TO)	1200.09	1200.54	299026
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1924010222-09.UNSAT.shuffled.cnf	? (TO)	1200.09	1200.38	299149
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1540370200-13.SAT.shuffled.cnf	? (TO)	1200.09	1200.39	299108
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1283500452-05.cnf	? (TO)	1200.09	1200.63	300584
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S811866391-08.cnf	? (TO)	1200.09	1200.5	300994
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S16540223-14.cnf	? (TO)	1200.09	1200.47	302183
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S998136463-10.cnf	? (TO)	1200.09	1200.61	302757
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1096972624-15.cnf	? (TO)	1200.09	1200.53	303372
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S371462865-10.cnf	? (TO)	1200.09	1200.4	303741
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S1751213243-05.cnf	? (TO)	1200.09	1200.51	303700
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1415445307-13.cnf	? (TO)	1200.09	1200.4	305258
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S2118640909-06.cnf	? (TO)	1200.09	1200.54	306570
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1890278326-03.cnf	? (TO)	1200.09	1200.39	306980
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S295096144-05.cnf	? (TO)	1200.09	1200.51	307021
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S1326526519-03-SAT.cnf	? (TO)	1200.09	1200.42	307841
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1352949000-03-SAT.cnf	? (TO)	1200.09	1200.55	308784
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1293761391-11-UNSAT.cnf	? (TO)	1200.09	1200.52	308866
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S461590508-14-SAT.cnf	? (TO)	1200.09	1200.49	309153
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1275186626-09-UNSAT.cnf	? (TO)	1200.09	1200.73	309604
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S68128341-07-UNSAT.cnf	? (TO)	1200.09	1200.43	311203
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1554939604-02-UNSAT.cnf	? (TO)	1200.09	1200.39	312146
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1941321941-16.cnf	? (TO)	1200.09	1200.43	304151
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1314701073-08.cnf	? (TO)	1200.09	1200.57	307267
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1106616038-10.cnf	? (TO)	1200.09	1200.52	307308
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1377128774-12-UNSAT.cnf	? (TO)	1200.09	1200.42	308005
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S25157261-20-UNSAT.cnf	? (TO)	1200.09	1200.58	311244
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1404069132-16-SAT.cnf	? (TO)	1200.09	1200.81	312351
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1147406493-20.UNSAT.shuffled.cnf	? (TO)	1200.09	1200.98	293286
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1113882813-11.SAT.shuffled.cnf	? (TO)	1200.09	1200.96	297878
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S455021619-18.SAT.shuffled.cnf	? (TO)	1200.1	1200.59	292794
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1481093667-06.UNSAT.shuffled.cnf	? (TO)	1200.1	1200.51	293040
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1142849726-12.UNSAT.shuffled.cnf	? (TO)	1200.1	1200.64	293409
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1061579177-10.UNSAT.shuffled.cnf	? (TO)	1200.1	1200.5	293655
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1253549494-19.UNSAT.shuffled.cnf	? (TO)	1200.1	1200.49	294188
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S316555917-14.SAT.shuffled.cnf	? (TO)	1200.1	1200.52	295090
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1106151685-15.SAT.shuffled.cnf	? (TO)	1200.1	1200.51	295910
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1783894026-19.SAT.shuffled.cnf	? (TO)	1200.1	1200.51	296320
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1299158672-14.SAT.shuffled.cnf	? (TO)	1200.1	1200.56	297017
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1307117813-09.UNSAT.shuffled.cnf	? (TO)	1200.1	1200.67	297222
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1073303884-15.UNSAT.shuffled.cnf	? (TO)	1200.1	1200.5	297550
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1161940794-17.UNSAT.shuffled.cnf	? (TO)	1200.1	1200.55	298329
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S218576925-17.UNSAT.shuffled.cnf	? (TO)	1200.1	1200.46	298903
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1172355929-14.SAT.shuffled.cnf	? (TO)	1200.1	1200.41	299559
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S451874538-03.cnf	? (TO)	1200.1	1200.41	300174
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1586629899-14.cnf	? (TO)	1200.1	1200.38	301322
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S471246417-03.cnf	? (TO)	1200.1	1200.58	301281
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1517867865-16.cnf	? (TO)	1200.1	1200.65	302306
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1739132237-05.cnf	? (TO)	1200.1	1200.15	302716
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S1923240245-08.cnf	? (TO)	1200.1	1200.54	303495
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S879514135-06.cnf	? (TO)	1200.1	1200.42	303905
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S187076430-06.cnf	? (TO)	1200.1	1200.45	304233
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S659720099-13.cnf	? (TO)	1200.1	1200.51	304561
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S313074252-14.cnf	? (TO)	1200.1	1200.55	305709
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S440063851-05.cnf	? (TO)	1200.1	1200.42	305791
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S2051531193-03.cnf	? (TO)	1200.1	1200.39	306283
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S56884336-05.cnf	? (TO)	1200.1	1200.54	306488
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S287388441-16.cnf	? (TO)	1200.1	1200.48	306693
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1753083943-04.cnf	? (TO)	1200.1	1200.6	307103
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1274825698-06-SAT.cnf	? (TO)	1200.1	1200.42	309727
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1488855480-20-UNSAT.cnf	? (TO)	1200.1	1200.48	312187
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1481196126-03.SAT.shuffled.cnf	? (TO)	1200.1	1200.52	294885
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1084572666-19.SAT.shuffled.cnf	? (TO)	1200.1	1200.41	295623
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S2033299325-04.cnf	? (TO)	1200.1	1200.62	300666
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1744543366-13.cnf	? (TO)	1200.1	1200.43	300625
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S36357048-10.cnf	? (TO)	1200.1	1200.43	301855
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S787287513-16.cnf	? (TO)	1200.1	1200.54	302921
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S886048189-14.cnf	? (TO)	1200.1	1200.14	305094
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S791125864-16.cnf	? (TO)	1200.1	1200.55	305340
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S2053960853-04-UNSAT.cnf	? (TO)	1200.1	1200.42	308825
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S832358630-11-UNSAT.cnf	? (TO)	1200.1	1200.53	309235
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S516218553-20-SAT.cnf	? (TO)	1200.1	1200.45	309317
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S623466762-07-UNSAT.cnf	? (TO)	1200.1	1200.53	311654
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1093254405-20.SAT.shuffled.cnf	? (TO)	1200.1	1200.52	296279
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S2094099432-08.SAT.shuffled.cnf	? (TO)	1200.1	1200.51	293778
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1504426817-07.UNSAT.shuffled.cnf	? (TO)	1200.1	1200.52	295705
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1180773190-07.SAT.shuffled.cnf	? (TO)	1200.11	1200.53	292835
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1032474357-17.SAT.shuffled.cnf	? (TO)	1200.11	1200.63	294352
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S167199451-11.UNSAT.shuffled.cnf	? (TO)	1200.11	1200.42	295992
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S235206606-20.UNSAT.shuffled.cnf	? (TO)	1200.11	1200.55	297468
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1115796430-03.UNSAT.shuffled.cnf	? (TO)	1200.11	1200.64	297837
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1590273377-07.UNSAT.shuffled.cnf	? (TO)	1200.11	1200.61	299887
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1922669300-13.cnf	? (TO)	1200.11	1200.15	300133
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S2043900701-05.cnf	? (TO)	1200.11	1200.42	304356
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S1617760096-16.cnf	? (TO)	1200.11	1200.5	304602
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1998470614-06.cnf	? (TO)	1200.11	1200.48	304971
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1099746708-06.cnf	? (TO)	1200.11	1200.66	305299
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1912540524-08.cnf	? (TO)	1200.11	1200.57	306242
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S161446644-14.cnf	? (TO)	1200.11	1200.54	307062
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1545977164-16-SAT.cnf	? (TO)	1200.11	1200.43	308948
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1973057201-08-SAT.cnf	? (TO)	1200.11	1200.5	308907
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S966455977-02-UNSAT.cnf	? (TO)	1200.11	1200.51	309194
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S622482268-08-UNKNOWN.cnf	? (TO)	1200.11	1200.54	310137
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S514014285-17-SAT.cnf	? (TO)	1200.11	1200.51	311859
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S183991542-09-SAT.cnf	? (TO)	1200.11	1200.54	311900
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S142115187-18.UNSAT.shuffled.cnf	? (TO)	1200.11	1201.03	293327
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S148460961-17.UNSAT.shuffled.cnf	? (TO)	1200.11	1200.53	296402
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1238286461-19.SAT.shuffled.cnf	? (TO)	1200.11	1200.45	297427
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S2129616968-04.cnf	? (TO)	1200.11	1200.53	301199
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1661921212-08.cnf	? (TO)	1200.11	1200.42	302962
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1854213938-15.cnf	? (TO)	1200.11	1200.46	304069
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S897388318-05.cnf	? (TO)	1200.11	1200.55	306037
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S2131244303-19-SAT.cnf	? (TO)	1200.11	1200.45	310096
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1089058690-02.SAT.shuffled.cnf	? (TO)	1200.11	1200.61	299641
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S2109328271-14.cnf	? (TO)	1200.11	1200.42	300256
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S2060375179-19-SAT.cnf	? (TO)	1200.12	1200.58	307513
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1330787624-15.cnf	? (TO)	1200.12	1200.47	307349

SAT 2007 Competition Phase 1: benchmarks results per solver

Result page for solver DEWSATZ 1A 2007-02-08

Category "crafted instances" (CRAFTED)

Solver proved unsatisfiability (UNSATISFIABLE) (16 runs) [Show/Hide]

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

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

Category "industrial instances" (INDUST)

Solver proved unsatisfiability (UNSATISFIABLE) (19 runs) [Show/Hide]

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

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

Solver was terminated by a signal (2 runs) [Show/Hide]

Category "random instances" (RANDOM)

Solver proved unsatisfiability (UNSATISFIABLE) (37 runs) [Show/Hide]

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

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