SAT 2007 Competition Phase 1: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf	SAT	0.195969	0.198572	332573
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf	SAT	2.76658	2.77058	332657
crafted/Medium/contest05/others/ QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf	SAT	6.97294	6.97819	333119
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	SAT	12.98	12.99	338453
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT	39.655	39.6757	333077
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	SAT	69.1125	69.144	333161
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT	129.861	129.908	333035

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	?	0.000999	0.005233	334925
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	?	0.000999	0.00525197	334967
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	?	0.000999	0.00527709	335009
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.sat05-4189.reshuffled-07.cnf	?	0.001998	0.00528409	334799
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	?	0.001998	0.0310231	336185
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l2.used-as.sat04-894.sat05-4188.reshuffled-07.cnf	?	0.002998	0.00529593	334673

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (TO)	1200.01	1200.51	335051
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.01	1200.31	335891
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.01	1200.41	337151
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	? (TO)	1200.01	1200.41	338201
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.01	1200.31	339293
crafted/spence/ medium/s89-100.cnf	? (TO)	1200.02	1200.41	316352
crafted/spence/ medium/s61-100.cnf	? (TO)	1200.02	1200.31	316112
crafted/spence/ hard/s101-100.cnf	? (TO)	1200.02	1200.41	316512
crafted/spence/ medium/s65-100.cnf	? (TO)	1200.02	1200.41	316432
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	? (TO)	1200.02	1200.11	333539
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d-0.02-s1542454144.sat05-533.reshuffled-07.cnf	? (TO)	1200.02	1200.51	333959
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.04-s1788334438.sat05-543.reshuffled-07.cnf	? (TO)	1200.02	1200.41	334127
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s405595518.sat05-531.reshuffled-07.cnf	? (TO)	1200.02	1200.11	334085
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.02	1200.51	335975
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-30-19-20.sat05-1256.reshuffled-07.cnf	? (TO)	1200.02	1200.41	336563
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.02	1200.41	336647
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.02	1200.41	336689
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.02	1200.41	337109
crafted/Hard/contest03/others/ mm-2x3-8-8-sb.1.sat05-475.reshuffled-07.cnf	? (TO)	1200.02	1200.51	337487
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.02	1200.31	337739
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-03-S1609878926.sat05-487.reshuffled-07.cnf	? (TO)	1200.02	1200.41	337697
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	? (TO)	1200.02	1200.41	338159
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	? (TO)	1200.02	1200.31	339461
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	? (TO)	1200.02	1200.41	339713
crafted/spence/ medium/s77-100.cnf	? (TO)	1200.03	1200.51	316072
crafted/spence/ hard/s113-100.cnf	? (TO)	1200.03	1200.51	316472
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	? (TO)	1200.03	1200.41	332447
crafted/Medium/contest05/pebbling/ sat-pbl-00400.sat05-1322.reshuffled-07.cnf	? (TO)	1200.03	1200.51	332615
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-2.sat05-2174.reshuffled-07.cnf	? (TO)	1200.03	1200.48	333413
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.03	1200.21	333833
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.03	1200.41	336143
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.03	1200.52	336101
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.03	1200.21	336395
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.03	1200.11	336815
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.03	1200.51	338621
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.03	1200.51	338831
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	? (TO)	1200.04	1200.41	333203
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	? (TO)	1200.04	1200.51	333245
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200.04	1200.51	333707
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.04	1200.11	335135
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.04	1200.41	335303
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-10-06-07.sat05-1250.reshuffled-07.cnf	? (TO)	1200.04	1200.41	336521
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.04	1200.41	337067
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.04	1200.41	337445
crafted/Hard/contest03/others/ bqwh.60.1080.sat05-436.reshuffled-07.cnf	? (TO)	1200.04	1200.41	337403
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	? (TO)	1200.04	1200.31	338327
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	1200.04	1200.41	339419
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	? (TO)	1200.04	1200.41	339797
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	? (TO)	1200.04	1200.41	333455
crafted/spence/ hard/s109-100.cnf	? (TO)	1200.05	1200.31	316552
crafted/spence/ hard/s105-100.cnf	? (TO)	1200.05	1200.51	316672
crafted/Medium/contest05/sabharwal/ unsat-logistics-rotate-09t5.sat05-1139.reshuffled-07.cnf	? (TO)	1200.05	1200.41	332363
crafted/Medium/contest05/pebbling/ unsat-pbl-00070.sat05-1324.reshuffled-07.cnf	? (TO)	1200.05	1200.21	332741
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.05	1200.61	333791
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.05	1200.41	334043
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.05	1200.51	334211
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.05	1200.61	334295
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.05	1200.52	334841
crafted/Hard/contest05/QG/ QG7-dead-dnd002.sat05-3108.reshuffled-07.cnf	? (TO)	1200.05	1200.51	335261
crafted/Hard/contest05/counting-clq/ unsat-set-a-fclqcolor-10-06-07.sat05-1274.reshuffled-07.cnf	? (TO)	1200.05	1200.41	336311
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-12-07-08.sat05-1251.reshuffled-07.cnf	? (TO)	1200.05	1200.41	336353
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.05	1200.51	336773
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.05	1200.41	337193
crafted/Hard/contest02/ ezfact64_4.sat05-451.reshuffled-07.cnf	? (TO)	1200.05	1200.41	337025
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	1200.05	1200.44	338915
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.05	1200.41	339041
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-135-2.sat05-2354.reshuffled-07.cnf	? (TO)	1200.05	1200.41	339335
crafted/Medium/contest05/sabharwal/ gt-ordering-unsat-gt-030.sat05-1307.reshuffled-07.cnf	? (TO)	1200.06	1200.51	332111
crafted/Medium/contest05/pebbling/ unsat-pbl-00150.sat05-1328.reshuffled-07.cnf	? (TO)	1200.06	1200.41	332783
crafted/Medium/contest05/pebbling/ unsat-pbl-00250.sat05-1330.reshuffled-07.cnf	? (TO)	1200.06	1200.41	332867
crafted/Medium/contest05/others/ gensys-ukn002.sat05-2744.reshuffled-07.cnf	? (TO)	1200.06	1200.41	332951
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	? (TO)	1200.06	1200.51	332993
crafted/Medium/contest05/pebbling/ unsat-pbl-00200.sat05-1329.reshuffled-07.cnf	? (TO)	1200.06	1200.61	332909
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	? (TO)	1200.06	1200.41	333329
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-1.sat05-2158.reshuffled-07.cnf	? (TO)	1200.06	1200.51	333497
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	? (TO)	1200.06	1200.41	333581
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	? (TO)	1200.06	1200.51	333665
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.06	1200.51	334169
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.06	1200.51	334253
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.06	1200.51	334421
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.06	1200.51	334463
crafted/Hard/contest04/others/ equilarge_l5.sat05-522.reshuffled-07.cnf	? (TO)	1200.06	1200.41	334547
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.06	1200.52	334631
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.06	1200.41	335429
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.06	1200.51	335681
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.06	1200.61	336227
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	? (TO)	1200.06	1200.51	337991
crafted/Hard/contest03/looksrandom/ hgen8-n260-03-S722413478.sat05-482.reshuffled-07.cnf	? (TO)	1200.06	1200.41	337949
crafted/Difficult/contest05/sabharwal/ counting-easier-fphp-014-012.sat05-1215.reshuffled-07.cnf	? (TO)	1200.06	1200.41	338537
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (TO)	1200.06	1200.51	339587
crafted/Difficult/contest-02-03-04/ contest03-hwb-n26-01-S1957858365.sat05-500.reshuffled-07.cnf	? (TO)	1200.06	1200.41	339503
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (TO)	1200.06	1200.41	339629
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.06	1200.41	339671
crafted/spence/ medium/s81-100.cnf	? (TO)	1200.07	1200.41	316152
crafted/spence/ hard/s117-100.cnf	? (TO)	1200.07	1200.51	316592
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	? (TO)	1200.07	1200.61	332531
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	? (TO)	1200.07	1200.51	332825
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	1200.07	1200.41	335093
crafted/Hard/contest05/counting-php/ harder-fphp-016-015.sat05-1230.reshuffled-07.cnf	? (TO)	1200.07	1200.51	335471
crafted/Hard/contest05/counting-php/ harder-fphp-070-069.sat05-1240.reshuffled-07.cnf	? (TO)	1200.07	1200.41	335597
crafted/Hard/contest05/counting-php/ easier-php-035-029.sat05-1179.reshuffled-07.cnf	? (TO)	1200.07	1200.41	335555
crafted/Hard/contest05/counting-php/ harder-php-025-024.sat05-1191.reshuffled-07.cnf	? (TO)	1200.07	1200.41	335807
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.07	1200.51	336017
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.07	1200.51	336479
crafted/Hard/contest02/ ezfact64_5.sat05-452.reshuffled-07.cnf	? (TO)	1200.07	1200.41	336731
crafted/Hard/contest02/ ezfact64_6.sat05-453.reshuffled-07.cnf	? (TO)	1200.07	1200.51	336899
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.07	1200.51	337571
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.07	1200.41	337907
crafted/Hard/contest03/looksrandom/ hgen8-n320-03-S1572374531.sat05-485.reshuffled-07.cnf	? (TO)	1200.07	1200.51	337865
crafted/Hard/contest03/looksrandom/ hgen7-n390-01-S248216171.sat05-478.reshuffled-07.cnf	? (TO)	1200.07	1200.51	337781
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	? (TO)	1200.07	1200.41	338117
crafted/Difficult/contest05/QG/ QG6-gensys-icl006.sat05-2718.reshuffled-07.cnf	? (TO)	1200.07	1200.51	338285
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.07	1200.61	338999
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.07	1200.51	339125
crafted/spence/ medium/s85-100.cnf	? (TO)	1200.08	1200.41	316392
crafted/spence/ medium/s69-100.cnf	? (TO)	1200.08	1200.51	316192
crafted/spence/ medium/s93-100.cnf	? (TO)	1200.08	1200.51	316232
crafted/spence/ medium/s73-100.cnf	? (TO)	1200.08	1200.51	316312
crafted/spence/ hard/s97-100.cnf	? (TO)	1200.08	1200.41	316632
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-10t19.sat05-1143.reshuffled-07.cnf	? (TO)	1200.08	1200.51	332321
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	? (TO)	1200.08	1200.61	332405
crafted/Medium/contest05/sabharwal/ counting-easier-fphp-012-010.sat05-1214.reshuffled-07.cnf	? (TO)	1200.08	1200.51	332489
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.08	1200.41	333917
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.08	1200.51	333875
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.08	1200.61	334589
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	? (TO)	1200.08	1200.52	334715
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.08	1200.43	334757
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.08	1200.42	334883
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.08	1200.51	335219
crafted/Hard/contest05/QG/ QG7a-gensys-icl009.sat05-3830.reshuffled-07.cnf	? (TO)	1200.08	1200.51	335387
crafted/Hard/contest05/others/ linvrinv6.sat05-565.reshuffled-07.cnf	? (TO)	1200.08	1200.41	335933
crafted/Hard/contest05/others/ strips-gripper-12t22.sat05-1151.reshuffled-07.cnf	? (TO)	1200.08	1200.41	336269
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.08	1200.41	336857
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.08	1200.51	338873
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.08	1200.51	339545
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.08	1200.51	339755
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	? (TO)	1200.09	1200.51	332237
crafted/Medium/contest05/sabharwal/ gt-ordering-unsat-gt-035.sat05-1308.reshuffled-07.cnf	? (TO)	1200.09	1200.41	332195
crafted/Medium/contest05/sabharwal/ gt-ordering-unsat-gt-025.sat05-1306.reshuffled-07.cnf	? (TO)	1200.09	1200.51	332153
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	? (TO)	1200.09	1200.41	332699
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	? (TO)	1200.09	1200.41	333623
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-240-3.sat05-2205.reshuffled-07.cnf	? (TO)	1200.09	1200.41	333749
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.09	1201.01	334337
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.09	1200.41	334505
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.09	1200.51	335177
crafted/Hard/contest05/counting-php/ harder-fphp-035-034.sat05-1235.reshuffled-07.cnf	? (TO)	1200.09	1200.51	335639
crafted/Hard/contest05/counting-php/ easier-fphp-020-015.sat05-1218.reshuffled-07.cnf	? (TO)	1200.09	1200.41	335765
crafted/Hard/contest05/counting-php/ harder-fphp-018-017.sat05-1231.reshuffled-07.cnf	? (TO)	1200.09	1200.61	335849
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.09	1200.51	336059
crafted/Hard/contest05/counting-clq/ unsat-set-a-fclqcolor-20-13-14.sat05-1278.reshuffled-07.cnf	? (TO)	1200.09	1200.51	336437
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.09	1200.41	336983
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.09	1200.51	337529
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.09	1200.61	337823
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (TO)	1200.09	1200.61	338243
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	? (TO)	1200.09	1200.51	339083
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.09	1200.51	339167
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (TO)	1200.09	1200.51	339377
crafted/Hard/contest05/QG/ QG7a-gensys-icl001.sat05-3822.reshuffled-07.cnf	? (TO)	1200.1	1200.51	335345
crafted/Hard/contest05/counting-php/ harder-fphp-050-049.sat05-1238.reshuffled-07.cnf	? (TO)	1200.1	1200.51	335513
crafted/Hard/contest05/counting-php/ harder-php-045-044.sat05-1195.reshuffled-07.cnf	? (TO)	1200.1	1200.41	335723
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.1	1200.61	336941
crafted/Hard/contest03/others/ hwb-n26-03-S540351185.sat05-490.reshuffled-07.cnf	? (TO)	1200.1	1200.51	337277
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.1	1200.41	337361
crafted/Hard/contest03/others/ hwb-n28-02-S818962541.sat05-492.reshuffled-07.cnf	? (TO)	1200.1	1200.51	337319
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.1	1200.41	337613
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.1	1200.41	338495
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.1	1200.51	338411
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	? (TO)	1200.1	1200.41	338369
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.1	1200.51	338957
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.1	1200.41	338747
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.1	1200.51	338789
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.1	1200.41	339251
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.1	1200.51	339839
crafted/spence/ medium/s57-100.cnf	? (TO)	1200.11	1200.61	316272
crafted/Medium/contest05/sabharwal/ gt-ordering-sat-gt-030.sat05-1295.reshuffled-07.cnf	? (TO)	1200.11	1200.41	332279
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	? (TO)	1200.11	1200.41	333287
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	? (TO)	1200.11	1200.41	333371
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.11	1200.41	334001
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.11	1200.44	334379
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-30-20-26.sat05-1264.reshuffled-07.cnf	? (TO)	1200.11	1200.51	336605
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.11	1200.41	337235
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.11	1200.51	337655
crafted/Difficult/contest05/QG/ QG6-dead-dnd001.sat05-2742.reshuffled-07.cnf	? (TO)	1200.11	1200.51	338033
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (TO)	1200.11	1200.81	338075
crafted/Difficult/contest05/sabharwal/ logistics-unsat-logistics-rotate-11t5.sat05-1141.reshuffled-07.cnf	? (TO)	1200.11	1200.42	338579
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.11	1200.51	338705
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-2.sat05-2567.reshuffled-07.cnf	? (TO)	1200.11	1200.61	339209
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	? (TO)	1200.12	1200.61	338663

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56687.cnf	UNSAT	0.957853	0.959073	320720
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	0.967852	0.967789	320966
industrial/babic/ xinetd/itox_vc965.cnf	UNSAT	5.63414	5.63794	320843

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/grieu/ vmpc_24.cnf	SAT	133.288	133.339	319859
industrial/grieu/ vmpc_29.cnf	SAT	231.231	231.421	319941
industrial/grieu/ vmpc_27.cnf	SAT	244.446	244.515	319736
industrial/grieu/ vmpc_26.cnf	SAT	252.094	252.17	320064
industrial/grieu/ vmpc_25.cnf	SAT	942.29	942.628	319695

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/fuhs/medium/ AProVE07-11.cnf	?	0	0.00512308	314432
industrial/palacios/medium/ cube-11-h14-sat.cnf	?	0	0.00505505	315712
industrial/manolios/ manol-pipe-c10nidw_s.cnf	?	0	0.00522803	320228
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug9.cnf	?	0	0.00853206	331349
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug4.cnf	?	0	0.00527909	331391
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug1.cnf	?	0	0.00581994	331475
industrial/palacios/hard/ safe-50-h49-unsat.cnf	?	0.000999	0.00563708	315112
industrial/palacios/medium/ cube-11-h13-unsat.cnf	?	0.000999	0.00521989	315752
industrial/narain/ clauses-10.cnf	?	0.000999	0.00510897	320638
industrial/narain/ clauses-6.cnf	?	0.000999	0.00536805	320679
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	?	0.000999	0.00515801	330887
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	?	0.000999	0.0582409	330929
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	?	0.000999	0.00506102	331097
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	?	0.000999	0.00728509	331139
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	?	0.000999	0.00533204	331223
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	?	0.000999	0.00538906	331265
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug10.cnf	?	0.000999	0.005259	331307
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug3.cnf	?	0.000999	0.00699305	331517
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug2.cnf	?	0.000999	0.00508711	331559
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	?	0.000999	0.00529098	331601
industrial/palacios/hard/ safe-50-h50-sat.cnf	?	0.001998	0.00502905	315072
industrial/narain/ clauses-8.cnf	?	0.001998	0.00516494	320556
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	?	0.001998	0.00510398	330971
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug7.cnf	?	0.001998	0.044126	331433

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/fuhs/medium/ AProVE07-21.cnf	? (TO)	1200.02	1200.41	314512
industrial/fuhs/medium/ AProVE07-22.cnf	? (TO)	1200.02	1200.41	314472
industrial/babic/dspam/ dspam_dump_vc949.cnf	? (TO)	1200.02	1200.32	318506
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	? (TO)	1200.02	1200.41	319121
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k70.cnf	? (TO)	1200.02	1200.51	328871
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k65.cnf	? (TO)	1200.02	1200.61	329249
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k60.cnf	? (TO)	1200.02	1200.32	329837
industrial/fuhs/hard/ AProVE07-03.cnf	? (TO)	1200.03	1200.31	314832
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.03	1200.51	314952
industrial/crypto/ mizh-sha0-35-5.cnf	? (TO)	1200.03	1200.51	319490
industrial/crypto/ mizh-sha0-35-2.cnf	? (TO)	1200.03	1200.51	319572
industrial/ manolios/manol-pipe-f9b.cnf	? (TO)	1200.03	1200.42	320146
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k40.cnf	? (TO)	1200.03	1200.12	329543
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k30.cnf	? (TO)	1200.03	1200.41	329585
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k65.cnf	? (TO)	1200.03	1200.52	329921
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k75.cnf	? (TO)	1200.03	1200.52	330551
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k20.cnf	? (TO)	1200.03	1200.51	330341
industrial/babic/hsatv17/ hsat_vc11935.cnf	? (TO)	1200.03	1200.32	318752
industrial/anbulagan/ medium-sat/dated-10-13-s.cnf	? (TO)	1200.03	1200.42	313232
industrial/anbulagan/ medium-sat/dated-10-17-s.cnf	? (TO)	1200.03	1200.43	313312
industrial/anbulagan/ medium-sat/total-10-15-s.cnf	? (TO)	1200.04	1200.53	313352
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	? (TO)	1200.04	1200.42	315512
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	? (TO)	1200.04	1200.52	315992
industrial/babic/hsatv17/ hsat_vc12070.cnf	? (TO)	1200.04	1200.42	318670
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.04	1200.41	319080
industrial/manolios/ manol-pipe-c6nidw_i.cnf	? (TO)	1200.04	1200.41	320310
industrial/babic/ xinetd/itox_vc1044.cnf	? (TO)	1200.04	1200.42	320802
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k60.cnf	? (TO)	1200.04	1200.52	330131
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k30.cnf	? (TO)	1200.04	1200.51	330719
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.04	1200.45	314112
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.05	1200.47	312712
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.05	1200.43	313392
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.05	1200.34	313792
industrial/fuhs/medium/ AProVE07-15.cnf	? (TO)	1200.05	1200.41	314552
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.05	1200.51	314912
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	? (TO)	1200.05	1200.52	315552
industrial/babic/dspam/ dspam_dump_vc972.cnf	? (TO)	1200.05	1200.04	318301
industrial/babic/hsatv17/ hsat_vc12062.cnf	? (TO)	1200.05	1200.42	318957
industrial/crypto/ mizh-sha0-35-4.cnf	? (TO)	1200.05	1200.41	319326
industrial/manolios/ manol-pipe-f10ni.cnf	? (TO)	1200.05	1200.14	320474
industrial/babic/ xinetd/itox_vc909.cnf	? (TO)	1200.05	1200.62	320884
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k30.cnf	? (TO)	1200.05	1200.51	328829
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k95.cnf	? (TO)	1200.05	1200.61	328955
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k25.cnf	? (TO)	1200.05	1200.51	329207
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k70.cnf	? (TO)	1200.05	1200.42	329627
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k50.cnf	? (TO)	1200.05	1200.12	330173
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k95.cnf	? (TO)	1200.05	1200.43	330299
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k65.cnf	? (TO)	1200.05	1200.42	330467
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k90.cnf	? (TO)	1200.05	1200.52	330677
industrial/babic/ dspam/dspam_dump_vc1103.cnf	? (TO)	1200.05	1200.43	318260
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	? (TO)	1200.05	1200.52	312632
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	? (TO)	1200.05	1200.13	312672
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.06	1200.43	312872
industrial/anbulagan/ hard-sat/partial-10-11-s.cnf	? (TO)	1200.06	1200.43	312952
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.06	1200.03	314232
industrial/palacios/hard/ sortnet-6-ipc5-h11-unsat.cnf	? (TO)	1200.06	1200.51	315232
industrial/babic/hsatv17/ hsat_vc11817.cnf	? (TO)	1200.06	1200.52	318916
industrial/ crypto/mizh-md5-48-5.cnf	? (TO)	1200.06	1200.51	319531
industrial/ crypto/mizh-md5-48-2.cnf	? (TO)	1200.06	1200.41	319367
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.06	1200.51	319818
industrial/manolios/ manol-pipe-f7idw.cnf	? (TO)	1200.06	1200.53	320105
industrial/manolios/ manol-pipe-g10bidw.cnf	? (TO)	1200.06	1200.42	320269
industrial/babic/ xinetd/itox_vc979.cnf	? (TO)	1200.06	1200.42	321089
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k40.cnf	? (TO)	1200.06	1200.61	328787
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k85.cnf	? (TO)	1200.06	1200.41	328913
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k10.cnf	? (TO)	1200.06	1200.51	329081
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k60.cnf	? (TO)	1200.06	1200.51	329165
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k75.cnf	? (TO)	1200.06	1200.51	329333
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k85.cnf	? (TO)	1200.06	1200.52	329669
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k25.cnf	? (TO)	1200.06	1200.41	329879
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k45.cnf	? (TO)	1200.06	1200.62	330089
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k90.cnf	? (TO)	1200.06	1200.52	330047
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k100.cnf	? (TO)	1200.06	1200.43	330761
industrial/anbulagan/ hard-unsat/dated-10-11-u.cnf	? (TO)	1200.06	1200.42	313872
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.06	1200.54	314312
industrial/anbulagan/ medium-sat/total-10-19-s.cnf	? (TO)	1200.07	1200.44	313032
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.07	1200.13	313512
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.07	1200.52	313752
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.07	1200.62	313952
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.07	1200.41	314712
industrial/palacios/medium/ safe-30-h30-sat.cnf	? (TO)	1200.07	1200.55	315912
industrial/babic/ dspam/dspam_dump_vc1093.cnf	? (TO)	1200.07	1200.42	318178
industrial/babic/hsatv17/ hsat_vc11803.cnf	? (TO)	1200.07	1200.43	318793
industrial/jarvisalo/ eq.atree.braun.7.unsat.cnf	? (TO)	1200.07	1200.41	319039
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	? (TO)	1200.07	1200.41	319203
industrial/ crypto/mizh-md5-47-4.cnf	? (TO)	1200.07	1200.61	319408
industrial/crypto/ mizh-sha0-35-3.cnf	? (TO)	1200.07	1200.41	319285
industrial/crypto/ mizh-sha0-36-2.cnf	? (TO)	1200.07	1200.51	319613
industrial/grieu/ vmpc_31.cnf	? (TO)	1200.07	1200.51	319900
industrial/manolios/ manol-pipe-c7nidw.cnf	? (TO)	1200.07	1200.42	320187
industrial/manolios/ manol-pipe-c7bidw_i.cnf	? (TO)	1200.07	1200.52	320433
industrial/narain/ clauses-4.cnf	? (TO)	1200.07	1200.53	320597
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	1200.07	1200.41	328745
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k15.cnf	? (TO)	1200.07	1200.51	328703
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	1200.07	1200.61	328661
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	1200.07	1200.91	328997
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k35.cnf	? (TO)	1200.07	1200.51	330383
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.07	1200.61	330845
industrial/babic/hsatv17/ hsat_vc11773.cnf	? (TO)	1200.07	1200.52	318629
industrial/babic/ xinetd/itox_vc1216.cnf	? (TO)	1200.07	1200.42	320925
industrial/anbulagan/ hard-unsat/partial-5-19-u.cnf	? (TO)	1200.07	1200.63	313472
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.07	1200.43	314032
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.07	1200.43	312472
industrial/anbulagan/ medium-sat/partial-5-11-s.cnf	? (TO)	1200.08	1200.42	313112
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.08	1200.51	314792
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.08	1200.51	314872
industrial/palacios/uts/ uts-l06-ipc5-h34-unknown.cnf	? (TO)	1200.08	1200.63	315272
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	? (TO)	1200.08	1200.42	315392
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	? (TO)	1200.08	1200.63	315352
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	? (TO)	1200.08	1200.52	315592
industrial/babic/dspam/ dspam_dump_vc950.cnf	? (TO)	1200.08	1200.42	318424
industrial/babic/ dspam/dspam_dump_vc1104.cnf	? (TO)	1200.08	1200.53	318342
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.08	1200.51	318998
industrial/ crypto/mizh-md5-47-3.cnf	? (TO)	1200.08	1200.51	319449
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.08	1200.51	319777
industrial/narain/ clauses-2.cnf	? (TO)	1200.08	1200.51	320515
industrial/babic/ xinetd/itox_vc1130.cnf	? (TO)	1200.08	1200.52	320761
industrial/babic/ xinetd/itox_vc1033.cnf	? (TO)	1200.08	1200.42	321007
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k50.cnf	? (TO)	1200.08	1200.41	329123
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k75.cnf	? (TO)	1200.08	1200.42	330005
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k25.cnf	? (TO)	1200.08	1200.41	330593
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.08	1200.62	331013
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.08	1200.53	331181
industrial/babic/ dspam/dspam_dump_vc1081.cnf	? (TO)	1200.08	1200.52	318465
industrial/anbulagan/ medium-sat/total-5-19-s.cnf	? (TO)	1200.08	1200.64	313192
industrial/fuhs/medium/ AProVE07-02.cnf	? (TO)	1200.09	1200.41	314352
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.09	1200.61	314752
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.09	1200.43	314992
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.09	1200.52	315152
industrial/palacios/medium/ cube-9-h10-unsat.cnf	? (TO)	1200.09	1200.42	315672
industrial/palacios/ medium/cube-9-h11-sat.cnf	? (TO)	1200.09	1200.52	315832
industrial/babic/hsatv17/ hsat_vc11813.cnf	? (TO)	1200.09	1200.63	318711
industrial/ crypto/mizh-md5-47-5.cnf	? (TO)	1200.09	1200.61	319654
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.09	1200.51	319982
industrial/ manolios/manol-pipe-f9n.cnf	? (TO)	1200.09	1200.62	320351
industrial/manolios/ manol-pipe-g10nid.cnf	? (TO)	1200.09	1200.52	320392
industrial/babic/ xinetd/itox_vc1138.cnf	? (TO)	1200.09	1200.52	321048
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k55.cnf	? (TO)	1200.09	1200.41	328619
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k35.cnf	? (TO)	1200.09	1200.51	329039
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	1200.09	1200.41	329291
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k90.cnf	? (TO)	1200.09	1200.51	329375
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k55.cnf	? (TO)	1200.09	1200.51	329417
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	? (TO)	1200.09	1200.52	330215
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k40.cnf	? (TO)	1200.09	1200.41	330425
industrial/babic/hsatv17/ hsat_vc12072.cnf	? (TO)	1200.09	1200.82	318588
industrial/babic/ dspam/dspam_dump_vc1080.cnf	? (TO)	1200.09	1200.52	318547
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	? (TO)	1200.09	1200.42	312512
industrial/anbulagan/ hard-unsat/total-10-15-u.cnf	? (TO)	1200.09	1200.53	313912
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1200.09	1200.53	314152
industrial/anbulagan/ hard-unsat/dated-10-13-u.cnf	? (TO)	1200.09	1200.42	313992
industrial/anbulagan/ hard-unsat/total-5-19-u.cnf	? (TO)	1200.09	1200.43	313832
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	1200.09	1200.43	312752
industrial/anbulagan/ medium-sat/total-5-17-s.cnf	? (TO)	1200.1	1200.53	312992
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	? (TO)	1200.1	1200.62	315632
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.1	1200.41	315792
industrial/palacios/ medium/sortnet-7-ipc5-h16-sat.cnf	? (TO)	1200.1	1200.42	315952
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	? (TO)	1200.1	1200.52	316032
industrial/babic/dspam/ dspam_dump_vc962.cnf	? (TO)	1200.1	1200.51	318219
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.1	1200.61	319162
industrial/babic/hsatv17/ hsat_vc12016.cnf	? (TO)	1200.1	1200.52	318875
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k45.cnf	? (TO)	1200.1	1200.51	329501
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k80.cnf	? (TO)	1200.1	1200.42	329459
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k35.cnf	? (TO)	1200.1	1200.41	329753
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k50.cnf	? (TO)	1200.1	1200.61	329795
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	? (TO)	1200.1	1200.62	330509
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.1	1200.52	331055
industrial/babic/dspam/ dspam_dump_vc973.cnf	? (TO)	1200.1	1200.63	318383
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.1	1200.42	313592
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.1	1200.53	313712
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.1	1200.43	314192
industrial/anbulagan/ hard-unsat/partial-10-11-u.cnf	? (TO)	1200.1	1200.43	314072
industrial/anbulagan/ hard-sat/partial-5-19-s.cnf	? (TO)	1200.11	1200.43	312792
industrial/anbulagan/ medium-sat/total-10-17-s.cnf	? (TO)	1200.11	1200.54	313152
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.11	1200.53	313672
industrial/palacios/uts/ uts-l06-ipc5-h29-unknown.cnf	? (TO)	1200.11	1200.62	315312
industrial/palacios/uts/ uts-l06-ipc5-h32-unknown.cnf	? (TO)	1200.11	1200.42	315472
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1200.11	1200.41	319244
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.11	1200.41	320023
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k100.cnf	? (TO)	1200.11	1200.52	329963
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k15.cnf	? (TO)	1200.11	1200.51	330635
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k85.cnf	? (TO)	1200.11	1200.42	330803
industrial/anbulagan/ medium-unsat/dated-10-15-u.cnf	? (TO)	1200.11	1200.43	312552
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.11	1200.53	312912
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.11	1200.53	313432
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.11	1200.42	314272
industrial/anbulagan/ medium-unsat/total-10-11-u.cnf	? (TO)	1200.12	1200.52	312592
industrial/anbulagan/ hard-unsat/partial-10-15-u.cnf	? (TO)	1200.12	1200.43	313552
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.12	1200.51	315032
industrial/palacios/medium/ emptyroom-4-h22-sat.cnf	? (TO)	1200.12	1200.41	315872
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.12	1200.42	313072
industrial/anbulagan/ hard-sat/partial-10-19-s.cnf	? (TO)	1200.13	1200.64	312832
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.13	1200.43	313272
industrial/anbulagan/ hard-unsat/partial-10-17-u.cnf	? (TO)	1200.13	1200.43	313632
industrial/palacios/uts/ uts-l06-ipc5-h30-unknown.cnf	? (TO)	1200.13	1200.52	315432
industrial/babic/hsatv17/ hsat_vc11944.cnf	? (TO)	1200.13	1200.43	318834
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k95.cnf	? (TO)	1200.13	1200.52	329711
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k70.cnf	? (TO)	1200.13	1200.52	330257
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.14	1200.44	315192

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/fuhs/medium/ AProVE07-09.cnf	Signal 11 (SIGSEGV)	0.022995	0.0231359	314392
industrial/fuhs/medium/ AProVE07-20.cnf	Signal 11 (SIGSEGV)	0.022995	0.0233049	314632
industrial/fuhs/medium/ AProVE07-06.cnf	Signal 11 (SIGSEGV)	0.023995	0.0246479	314592
industrial/fuhs/medium/ AProVE07-04.cnf	Signal 11 (SIGSEGV)	0.024995	0.0246371	314672

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S2048803580-17.SAT.shuffled.cnf	SAT	0.009997	0.0115359	299968
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1483146927-18.SAT.shuffled.cnf	SAT	0.012997	0.0129249	297795
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1217224084-10.SAT.shuffled.cnf	SAT	0.014997	0.017014	298697
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S2094973797-12-SAT.cnf	SAT	0.024995	0.0266319	310423
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1422217194-16.SAT.shuffled.cnf	SAT	0.025995	0.0260099	298656
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1244126495-18-SAT.cnf	SAT	0.025995	0.0262551	310546
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1172355929-14.SAT.shuffled.cnf	SAT	0.027994	0.0291379	299558
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1561551265-12.SAT.shuffled.cnf	SAT	0.031994	0.0338951	300009
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1476745538-08-SAT.cnf	SAT	0.031994	0.0336299	311120
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1456038697-16.SAT.shuffled.cnf	SAT	0.036993	0.0390051	297303
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S539876024-03.SAT.shuffled.cnf	SAT	0.038993	0.0404039	298164
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1788789488-19-SAT.cnf	SAT	0.038993	0.0386429	310587
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S64317265-01-SAT.cnf	SAT	0.039993	0.041968	312104
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1965764400-19.SAT.shuffled.cnf	SAT	0.046992	0.0484859	298287
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1496918883-18.SAT.shuffled.cnf	SAT	0.047992	0.0482591	299189
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1279599478-02.SAT.shuffled.cnf	SAT	0.050992	0.0528819	298041
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S236549621-14.SAT.shuffled.cnf	SAT	0.054991	0.0569851	291973
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1752604460-10.SAT.shuffled.cnf	SAT	0.05599	0.056513	299722
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1449408666-02-SAT.cnf	SAT	0.05599	0.057275	309972
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S30263233-06-SAT.cnf	SAT	0.05599	0.0581489	310300
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S2081149830-10.SAT.shuffled.cnf	SAT	0.063989	0.0657311	292137
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1141835011-09.SAT.shuffled.cnf	SAT	0.063989	0.0658329	297385
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1416418480-05.SAT.shuffled.cnf	SAT	0.064989	0.0659951	292178
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S2006871543-06.SAT.shuffled.cnf	SAT	0.066988	0.0675099	292096
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S2109173872-19.SAT.shuffled.cnf	SAT	0.068988	0.0689439	298615
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1456895752-14.SAT.shuffled.cnf	SAT	0.071988	0.072382	291604
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S15127148-17.SAT.shuffled.cnf	SAT	0.076987	0.0778549	292014
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S309048450-11.SAT.shuffled.cnf	SAT	0.089985	0.091006	291522
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1264328999-02.SAT.shuffled.cnf	SAT	0.090985	0.0914911	291768
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1678549664-11-SAT.cnf	SAT	0.093985	0.096099	309644
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S455021619-18.SAT.shuffled.cnf	SAT	0.096985	0.0989561	292793
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1342521403-06.SAT.shuffled.cnf	SAT	0.097984	0.0994661	292342
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1113882813-11.SAT.shuffled.cnf	SAT	0.104983	0.105359	297877
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1804595013-08-SAT.cnf	SAT	0.110982	0.111609	310669
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1282416669-17.SAT.shuffled.cnf	SAT	0.112981	0.115118	292547
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1047920973-05.SAT.shuffled.cnf	SAT	0.113981	0.113977	293080
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1665384822-14-SAT.cnf	SAT	0.115981	0.117226	310792
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1674723394-12.SAT.shuffled.cnf	SAT	0.119981	0.120319	292506
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1869272420-19.SAT.shuffled.cnf	SAT	0.127979	0.12995	293572
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S429936805-03.SAT.shuffled.cnf	SAT	0.12798	0.129319	293244
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S744612847-12.SAT.shuffled.cnf	SAT	0.129979	0.131441	292752
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1699479488-11.SAT.shuffled.cnf	SAT	0.135978	0.137848	297344
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S804631280-01.SAT.shuffled.cnf	SAT	0.136978	0.137821	292916
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1191693850-19.SAT.shuffled.cnf	SAT	0.153975	0.155311	293203
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S2094099432-08.SAT.shuffled.cnf	SAT	0.160974	0.162055	293777
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1257266562-15.SAT.shuffled.cnf	SAT	0.161975	0.164073	298492
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1445529008-02.SAT.shuffled.cnf	SAT	0.175972	0.177172	292629
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S30788164-07-SAT.cnf	SAT	0.183971	0.187191	308537
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S122221229-14.SAT.shuffled.cnf	SAT	0.184971	0.187075	292711
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1031412672-05.SAT.shuffled.cnf	SAT	0.18997	0.190638	299763
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S256297823-16.SAT.shuffled.cnf	SAT	0.192969	0.195023	291645
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1821409123-12-SAT.cnf	SAT	0.193969	0.196059	308988
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1481730841-18.SAT.shuffled.cnf	SAT	0.196969	0.19753	299394
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1091800488-20-SAT.cnf	SAT	0.199968	0.201549	310341
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1163137157-19-SAT.cnf	SAT	0.215966	0.216022	311981
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1950672055-10.SAT.shuffled.cnf	SAT	0.221965	0.223044	298000
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1014417748-14-SAT.cnf	SAT	0.232963	0.233027	309767
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S141590207-13.SAT.shuffled.cnf	SAT	0.292954	0.295375	300091
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1982407920-12.SAT.shuffled.cnf	SAT	0.296954	0.296982	298984
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1813726766-14.SAT.shuffled.cnf	SAT	0.303952	0.305719	293818
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1557868591-12-SAT.cnf	SAT	0.306952	0.307584	309562
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S461590508-14-SAT.cnf	SAT	0.314951	0.316227	309152
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S316347254-19-SAT.cnf	SAT	0.315951	0.316328	311407
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1386858597-08-SAT.cnf	SAT	0.331948	0.333072	312268
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S2044406543-15.SAT.shuffled.cnf	SAT	0.334948	0.336946	293736
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1238286461-19.SAT.shuffled.cnf	SAT	0.337947	0.339212	297426
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1274825698-06-SAT.cnf	SAT	0.359945	0.36195	309726
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S476496922-18-SAT.cnf	SAT	0.427934	0.430875	312022
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1513299405-10.SAT.shuffled.cnf	SAT	0.435933	0.437757	294064
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S2060375179-19-SAT.cnf	SAT	0.45393	0.456251	307512
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1806915801-08.SAT.shuffled.cnf	SAT	0.499923	0.501586	298861
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1775402689-01.SAT.shuffled.cnf	SAT	0.537917	0.539439	299271
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1568322528-08-SAT.cnf	SAT	0.613906	0.615687	308250
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1109841921-18.SAT.shuffled.cnf	SAT	0.633902	0.63463	294146
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S2099846342-04-SAT.cnf	SAT	0.665898	0.666022	310505
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1210495375-04.SAT.shuffled.cnf	SAT	0.720889	0.725327	291686
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S592344929-16-SAT.cnf	SAT	0.728889	0.733248	309439
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1209647106-12-SAT.cnf	SAT	0.824874	0.824913	311079
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1104692480-03.SAT.shuffled.cnf	SAT	0.826873	0.828782	299230
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1891492462-09-SAT.cnf	SAT	0.834872	0.837572	311325
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1180773190-07.SAT.shuffled.cnf	SAT	0.841871	0.842508	292834
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1909130260-19-SAT.cnf	SAT	0.891863	0.894867	307922
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S915337037-05-SAT.cnf	SAT	0.893863	0.896098	308578
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1568197186-18-SAT.cnf	SAT	0.945855	0.948824	308332
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S2084125686-20-SAT.cnf	SAT	0.951855	0.953695	311817
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1284937235-05.SAT.shuffled.cnf	SAT	0.963852	0.966563	294023
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1019153514-04.SAT.shuffled.cnf	SAT	0.969851	0.970941	293859
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1736865558-13.SAT.shuffled.cnf	SAT	1.14082	1.14222	298410
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S668297284-15-SAT.cnf	SAT	1.24081	1.24313	311530
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1344401737-18.SAT.shuffled.cnf	SAT	1.3158	1.31795	296688
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1437321789-17.SAT.shuffled.cnf	SAT	1.36279	1.36542	296524
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1166224100-13.SAT.shuffled.cnf	SAT	1.37479	1.37609	297590
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1615006153-07.SAT.shuffled.cnf	SAT	1.41578	1.41702	293490
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1529462267-19.SAT.shuffled.cnf	SAT	1.41678	1.41716	296606
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S228456758-12.SAT.shuffled.cnf	SAT	1.58776	1.58981	294433
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1870497322-13-SAT.cnf	SAT	1.62875	1.62978	309685
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1155547357-11.SAT.shuffled.cnf	SAT	1.66475	1.66724	296729
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1566131367-09.SAT.shuffled.cnf	SAT	1.72874	1.73069	296647
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1093254405-20.SAT.shuffled.cnf	SAT	1.83272	1.83366	296278
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1755163742-08.SAT.shuffled.cnf	SAT	1.84272	1.84554	294474
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1830776056-07.SAT.shuffled.cnf	SAT	1.84972	1.85085	294720
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1718130589-01.SAT.shuffled.cnf	SAT	1.89371	1.89624	294761
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1159448555-06.SAT.shuffled.cnf	SAT	1.9887	1.9928	299312
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1214515938-10.SAT.shuffled.cnf	SAT	1.9917	1.99442	295294
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1540370200-13.SAT.shuffled.cnf	SAT	2.03969	2.04049	299107
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1292104917-07.SAT.shuffled.cnf	SAT	2.06169	2.06414	295335
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1319091742-10.SAT.shuffled.cnf	SAT	2.10968	2.11109	296032
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1783894026-19.SAT.shuffled.cnf	SAT	2.11368	2.11634	296319
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S316555917-14.SAT.shuffled.cnf	SAT	2.24266	2.24352	295089
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1344671309-04.SAT.shuffled.cnf	SAT	2.29765	2.30198	295499
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1533440099-09.SAT.shuffled.cnf	SAT	2.32165	2.32763	295786
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1678989107-02.SAT.shuffled.cnf	SAT	2.33264	2.33522	295007
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1846251911-07.SAT.shuffled.cnf	SAT	2.36764	2.36835	296237
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S108421787-03.SAT.shuffled.cnf	SAT	2.43563	2.43829	295581
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1635684145-01.SAT.shuffled.cnf	SAT	2.47162	2.47389	295950
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1390822082-06.SAT.shuffled.cnf	SAT	2.54661	2.54834	294392
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1553613509-20.SAT.shuffled.cnf	SAT	2.55461	2.55695	295212
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1575802003-16-SAT.cnf	SAT	2.57261	2.58032	310259
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S116991008-16.SAT.shuffled.cnf	SAT	2.66859	2.66976	294105
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1785258608-13.SAT.shuffled.cnf	SAT	2.69559	2.69588	296975
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S2099893633-17.SAT.shuffled.cnf	SAT	2.74358	2.74548	294966
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1376493471-11.SAT.shuffled.cnf	SAT	2.75658	2.75848	293531
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S218623752-19-SAT.cnf	SAT	2.97155	2.97411	309398
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S549070267-05-SAT.cnf	SAT	3.09253	3.09578	307881
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1517457236-16-SAT.cnf	SAT	3.2655	3.26977	308414
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1762612346-15-SAT.cnf	SAT	3.40948	3.41192	310915
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1032474357-17.SAT.shuffled.cnf	SAT	3.53246	3.53499	294351
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1963596997-08.SAT.shuffled.cnf	SAT	3.64345	3.64619	297180
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1089058690-02.SAT.shuffled.cnf	SAT	3.64345	3.64492	299640
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1372215289-05.SAT.shuffled.cnf	SAT	3.70044	3.70239	296360
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1481196126-03.SAT.shuffled.cnf	SAT	3.9354	3.93825	294884
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S152598520-02-SAT.cnf	SAT	3.9534	3.956	307799
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1490740667-05.SAT.shuffled.cnf	SAT	4.09238	4.09323	298123
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S340864765-13.SAT.shuffled.cnf	SAT	4.12537	4.12839	293162
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1106151685-15.SAT.shuffled.cnf	SAT	4.64429	4.64641	295909
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S514014285-17-SAT.cnf	SAT	4.64929	4.66151	311858
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S2034423571-08.cnf	SAT	4.67729	4.67779	300542
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S44928635-12.SAT.shuffled.cnf	SAT	4.76127	4.7631	298246
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1907907390-05.SAT.shuffled.cnf	SAT	4.92825	4.92986	295745
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1363528912-04-SAT.cnf	SAT	5.12722	5.13296	312432
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1137479270-03-SAT.cnf	SAT	5.2652	5.27042	311571
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1703132040-12-SAT.cnf	SAT	5.67314	5.67764	311489
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S883927618-10.cnf	SAT	5.72313	5.727	301157
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1084572666-19.SAT.shuffled.cnf	SAT	6.24105	6.24498	295622
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1534329206-02.SAT.shuffled.cnf	SAT	6.72998	6.73151	296893
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1404069132-16-SAT.cnf	SAT	6.85696	6.86263	312350
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S516218553-20-SAT.cnf	SAT	6.93094	6.93399	309316
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1299158672-14.SAT.shuffled.cnf	SAT	6.97894	6.98323	297016
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1939769766-11-SAT.cnf	SAT	7.00793	7.01334	312391
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1572638390-17.SAT.shuffled.cnf	SAT	7.35788	7.36188	297098
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S871621203-03.cnf	SAT	7.93179	7.93727	304847
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S461794864-15.SAT.shuffled.cnf	SAT	8.21075	8.21574	295130
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1545977164-16-SAT.cnf	SAT	8.33773	8.34028	308947
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S216896591-15.SAT.shuffled.cnf	SAT	9.35258	9.35799	297713
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1283500452-05.cnf	SAT	10.0545	10.0603	300583
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S183991542-09-SAT.cnf	SAT	10.5364	10.5409	311899
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S1097641288-15-SAT.cnf	SAT	16.7535	16.7558	307553
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S361865778-09-SAT.cnf	SAT	19.62	19.6277	309521
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1971221253-16.cnf	SAT	21.1348	21.1426	301444
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1207324880-03.cnf	SAT	25.4791	25.4892	302346
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1556473581-06.cnf	SAT	25.8001	25.8081	301034
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S643005221-14.cnf	SAT	31.7502	31.7593	300788
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1679085272-10-SAT.cnf	SAT	32.5571	32.5665	310997
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1973057201-08-SAT.cnf	SAT	36.1505	36.1747	308906
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S2131244303-19-SAT.cnf	SAT	44.8342	44.8585	310095
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1286605994-07-SAT.cnf	SAT	45.4711	45.4965	308209
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1744543366-13.cnf	SAT	45.809	45.8243	300624
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S471833188-06.cnf	SAT	46.286	46.3464	300870
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1586629899-14.cnf	SAT	48.3526	48.3652	301321
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1470952774-07.SAT.shuffled.cnf	SAT	49.3505	49.3708	299435
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S464355209-20-UNKNOWN.cnf	SAT	49.9534	49.9679	307635
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1671384215-01-SAT.cnf	SAT	55.1896	55.2122	307963
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S1326526519-03-SAT.cnf	SAT	58.2571	58.2807	307840
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S440063851-05.cnf	SAT	64.2262	64.2644	305790
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1058323130-08.cnf	SAT	65.522	65.5408	300460
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1036103820-03.cnf	SAT	78.4671	78.4968	300911
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1791291573-05.cnf	SAT	91.3381	91.3723	301116
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S406284248-03.cnf	SAT	109.458	109.492	301608
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S811866391-08.cnf	SAT	117.158	117.21	300993
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S2129616968-04.cnf	SAT	118.485	118.521	301198
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S793374232-15.cnf	SAT	145.644	145.698	300952
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S411047518-16.cnf	SAT	199.192	199.25	300501
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S409844453-15.cnf	SAT	209.547	209.609	300337
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1121059923-10.cnf	SAT	217.034	217.116	300747
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S669431406-04.cnf	SAT	229.854	229.912	305585
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S388731928-13.cnf	SAT	257.029	257.105	301239
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1638354370-16.cnf	SAT	275.019	275.095	300829
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S2026599491-05.cnf	SAT	280.154	280.337	305011
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S498187802-14.cnf	SAT	280.641	280.714	304519
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1559029529-16.cnf	SAT	295.562	295.729	301075
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1243695187-06.cnf	SAT	304.551	304.662	302100
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1285628870-05.cnf	SAT	315.806	315.918	302387
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S471246417-03.cnf	SAT	344.54	344.632	301280
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S2033299325-04.cnf	SAT	349.721	349.851	300665
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1307117813-09.UNSAT.shuffled.cnf	SAT	365.283	365.389	297221
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S2051531193-03.cnf	SAT	376.356	376.482	306282
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S811174248-16.cnf	SAT	383.803	384.038	301772
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1178874381-13.cnf	SAT	408.736	408.84	305544
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S422570514-15.cnf	SAT	427.964	428.083	302223
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1580061366-10.cnf	SAT	449.815	450.069	305503
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S191957358-10.cnf	SAT	460.106	460.228	300378
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S342579098-10.cnf	SAT	486.189	486.347	304929
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1175862975-06.cnf	SAT	492.15	492.291	302264
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1342589780-15.cnf	SAT	520.018	520.163	301731
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1691487811-15.cnf	SAT	531.027	531.174	300706
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1059928571-06.cnf	SAT	543.791	543.939	300296
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1861814752-08.cnf	SAT	597.717	597.927	301895
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S313074252-14.cnf	SAT	636.623	636.888	305708
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1358416858-13.cnf	SAT	649.225	649.509	303084
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S659720099-13.cnf	SAT	655.523	655.771	304560
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S274221008-04.cnf	SAT	657.514	657.714	301362
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1582455625-10.cnf	SAT	665.875	666.062	302510
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S36357048-10.cnf	SAT	831.247	831.508	301854
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1227285183-04.cnf	SAT	881.57	881.951	302141
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S453945536-08.cnf	SAT	909.882	910.14	302428
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S427890210-10.cnf	SAT	955.537	955.767	306323
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1259611134-14.cnf	SAT	1024.72	1025.12	301403
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1998470614-06.cnf	SAT	1034.35	1034.8	304970
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1826229031-16.cnf	SAT	1074.91	1075.57	304765
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S2109328271-14.cnf	SAT	1121.54	1121.58	300255

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1414833579-15.UNSAT.shuffled.cnf	? (TO)	1200.01	1200.51	292383
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1253549494-19.UNSAT.shuffled.cnf	? (TO)	1200.01	1200.53	294187
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1063466123-05.cnf	? (TO)	1200.01	1200.42	300214
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S788797920-13.cnf	? (TO)	1200.01	1200.43	302633
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1366805398-04.cnf	? (TO)	1200.01	1200.42	302674
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S145970304-01-UNSAT.cnf	? (TO)	1200.01	1200.33	308660
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1311582577-17-UNSAT.cnf	? (TO)	1200.01	1200.34	309029
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S779175761-20-UNSAT.cnf	? (TO)	1200.01	1200.39	310464
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S1435246639-05-UNSAT.cnf	? (TO)	1200.01	1200.27	309480
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1955492734-15-UNSAT.cnf	? (TO)	1200.01	1200.4	309931
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1671397883-11.UNSAT.shuffled.cnf	? (TO)	1200.01	1200.33	300050
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1279127780-17.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.31	291850
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1018594061-02.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.48	294556
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1107155013-20.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.43	295868
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S148460961-17.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.36	296401
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1392532406-12.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.41	296565
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1519323913-01.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.49	297508
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1711439550-13.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.35	297754
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1858313411-09.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.56	297672
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1168722783-19.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.38	297959
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1121556476-05.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.06	299066
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1341479044-12.UNSAT.shuffled.cnf	? (TO)	1200.02	1200.86	299476
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1627256190-14.cnf	? (TO)	1200.02	1200.48	301977
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S52275463-03.cnf	? (TO)	1200.02	1200.44	302879
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S232355738-04.cnf	? (TO)	1200.02	1200.43	303986
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1854213938-15.cnf	? (TO)	1200.02	1200.43	304068
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S41627158-13.cnf	? (TO)	1200.02	1200.4	303822
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1215030506-14.cnf	? (TO)	1200.02	1200.42	304642
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S384567560-10-UNKNOWN.cnf	? (TO)	1200.02	1200.33	307594
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1832504551-17-UNSAT.cnf	? (TO)	1200.02	1200.36	308168
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S1346268409-03-UNSAT.cnf	? (TO)	1200.02	1200.35	309357
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1889416016-07-UNSAT.cnf	? (TO)	1200.02	1200.37	309808
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S68128341-07-UNSAT.cnf	? (TO)	1200.02	1200.47	311202
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S883553387-12-UNSAT.cnf	? (TO)	1200.02	1200.58	312063
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S1312035429-13.cnf	? (TO)	1200.02	1200.43	306651
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1661055114-06.cnf	? (TO)	1200.02	1200.44	307389
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S2078602069-04-UNSAT.cnf	? (TO)	1200.02	1200.47	308045
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1307633938-08-UNSAT.cnf	? (TO)	1200.02	1200.11	308701
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1230630010-06-UNSAT.cnf	? (TO)	1200.02	1200.42	310956
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1474234583-11.UNSAT.shuffled.cnf	? (TO)	1200.03	1200.41	291932
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1412274662-11.UNSAT.shuffled.cnf	? (TO)	1200.03	1200.37	292424
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1350256608-20.UNSAT.shuffled.cnf	? (TO)	1200.03	1200.51	292301
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1080042831-09.UNSAT.shuffled.cnf	? (TO)	1200.03	1200.46	293900
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1119543818-13.UNSAT.shuffled.cnf	? (TO)	1200.03	1200.39	296196
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1469277938-19.UNSAT.shuffled.cnf	? (TO)	1200.03	1200.35	297139
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1924010222-09.UNSAT.shuffled.cnf	? (TO)	1200.03	1200.37	299148
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1970010471-03.UNSAT.shuffled.cnf	? (TO)	1200.03	1200.32	299517
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S422410882-13.cnf	? (TO)	1200.03	1200.39	302059
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S666382280-13.cnf	? (TO)	1200.03	1200.58	303535
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S421554531-04.cnf	? (TO)	1200.03	1200.32	305954
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S102550125-14.cnf	? (TO)	1200.03	1200.48	306610
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1753083943-04.cnf	? (TO)	1200.03	1200.67	307102
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1496322949-03.cnf	? (TO)	1200.03	1200.33	307143
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1172889356-05.cnf	? (TO)	1200.03	1200.5	307430
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1352949000-03-SAT.cnf	? (TO)	1200.03	1200.34	308783
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1117386741-13-UNSAT.cnf	? (TO)	1200.03	1200.38	311694
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1380126410-13.UNSAT.shuffled.cnf	? (TO)	1200.03	1200.41	292588
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S1798323172-15.cnf	? (TO)	1200.03	1200.36	303453
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1898939887-14.cnf	? (TO)	1200.03	1200.44	304191
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S791125864-16.cnf	? (TO)	1200.03	1200.43	305339
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1317485140-08.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.39	291563
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1064282057-06.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.45	291809
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1481093667-06.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.51	293039
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1155415292-14.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.48	294228
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1155123565-17.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.49	295458
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S179716588-02.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.51	296770
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S218576925-17.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.4	298902
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1963468459-10.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.42	299025
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1518709554-16.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.33	299353
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1463391112-08.cnf	? (TO)	1200.04	1200.49	301485
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1022834397-10.cnf	? (TO)	1200.04	1200.4	301567
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S683236487-13.cnf	? (TO)	1200.04	1200.34	301690
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S485928362-15.cnf	? (TO)	1200.04	1200.47	301813
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S660110840-06.cnf	? (TO)	1200.04	1200.4	302838
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S793713844-14.cnf	? (TO)	1200.04	1200.37	303166
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1805843968-06.cnf	? (TO)	1200.04	1200.36	303289
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S3230925-04.cnf	? (TO)	1200.04	1200.48	303412
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S409751023-10.cnf	? (TO)	1200.04	1200.49	303863
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1941321941-16.cnf	? (TO)	1200.04	1200.38	304150
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S2043900701-05.cnf	? (TO)	1200.04	1200.37	304355
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S2053050899-08.cnf	? (TO)	1200.04	1200.39	304478
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1415445307-13.cnf	? (TO)	1200.04	1200.43	305257
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1173369833-06.cnf	? (TO)	1200.04	1200.44	306118
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S597645631-10.cnf	? (TO)	1200.04	1200.45	306200
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S856579407-15.cnf	? (TO)	1200.04	1200.38	306364
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S211365596-08-UNSAT.cnf	? (TO)	1200.04	1200.37	307676
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S2053960853-04-UNSAT.cnf	? (TO)	1200.04	1200.4	308824
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S1923240245-08.cnf	? (TO)	1200.04	1200.48	303494
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1048256369-15.cnf	? (TO)	1200.04	1200.37	304683
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1145101718-14.cnf	? (TO)	1200.04	1200.4	306077
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1377128774-12-UNSAT.cnf	? (TO)	1200.04	1200.37	308004
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1416010721-11.UNSAT.shuffled.cnf	? (TO)	1200.04	1200.4	298943
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1424595365-09.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.4	292219
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S114606831-19.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.37	292998
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1142219800-20.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.47	295171
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1215610276-02.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.42	295540
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1235873841-05.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.49	296852
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S2037574412-07.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.5	297262
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1073303884-15.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.5	297549
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1037473581-12.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.47	297918
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1128222245-05.cnf	? (TO)	1200.05	1200.49	301936
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S371462865-10.cnf	? (TO)	1200.05	1200.38	303740
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S849793820-03.cnf	? (TO)	1200.05	1200.34	303781
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1980187645-03.cnf	? (TO)	1200.05	1200.62	305134
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1099746708-06.cnf	? (TO)	1200.05	1200.44	305298
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S971732863-03.cnf	? (TO)	1200.05	1200.33	305913
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1416986890-04.cnf	? (TO)	1200.05	1200.5	306815
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S365559754-09-UNSAT.cnf	? (TO)	1200.05	1200.38	307717
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1455331099-09-SAT.cnf	? (TO)	1200.05	1200.47	308127
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1110066181-15-UNSAT.cnf	? (TO)	1200.05	1200.48	308455
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S622482268-08-UNKNOWN.cnf	? (TO)	1200.05	1200.34	310136
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1071799860-07-UNSAT.cnf	? (TO)	1200.05	1200.47	310382
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1893175053-01-UNSAT.cnf	? (TO)	1200.05	1200.38	310628
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S623466762-07-UNSAT.cnf	? (TO)	1200.05	1200.59	311653
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S527248282-10-UNSAT.cnf	? (TO)	1200.05	1200.45	311776
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1661921212-08.cnf	? (TO)	1200.05	1200.45	302961
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1438185261-13.cnf	? (TO)	1200.05	1200.48	305995
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1517604033-06.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.4	293941
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S287388441-16.cnf	? (TO)	1200.05	1200.38	306692
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1986560013-06.cnf	? (TO)	1200.05	1200.48	306856
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1262395962-18.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.39	295417
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1373941726-12.UNSAT.shuffled.cnf	? (TO)	1200.05	1200.47	298574
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1164089919-15.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.36	291891
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S127192076-04.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.53	292055
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1309933981-04.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.38	292957
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1142849726-12.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.51	293408
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1195605559-14.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.51	294638
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1179686861-10.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.45	294597
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S145251364-05.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.44	295376
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1065385609-07.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.47	296442
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1517537144-16.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.37	298451
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S16540223-14.cnf	? (TO)	1200.06	1200.49	302182
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1446471927-04.cnf	? (TO)	1200.06	1200.42	303002
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S94225360-10.cnf	? (TO)	1200.06	1200.44	303248
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1600965758-04.cnf	? (TO)	1200.06	1200.38	305216
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1826381479-08.cnf	? (TO)	1200.06	1200.41	305421
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S251010207-06.cnf	? (TO)	1200.06	1200.5	305667
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S450187849-03.cnf	? (TO)	1200.06	1200.47	305749
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1588170820-15.cnf	? (TO)	1200.06	1200.38	305831
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S657313757-16.cnf	? (TO)	1200.06	1200.48	306159
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S2045682869-15.cnf	? (TO)	1200.06	1200.52	306897
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S295096144-05.cnf	? (TO)	1200.06	1200.42	307020
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1293761391-11-UNSAT.cnf	? (TO)	1200.06	1200.48	308865
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S1082766609-17-UNSAT.cnf	? (TO)	1200.06	1200.41	309275
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S832358630-11-UNSAT.cnf	? (TO)	1200.06	1200.47	309234
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S702278147-14-UNSAT.cnf	? (TO)	1200.06	1200.39	310710
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S923582293-10-UNSAT.cnf	? (TO)	1200.06	1200.49	311448
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1488855480-20-UNSAT.cnf	? (TO)	1200.06	1200.39	312186
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1110074311-09.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.36	292465
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1387394500-16.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.36	294802
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1154156114-09.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.38	298738
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S105499989-20.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.37	299804
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1013535775-14.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.43	299845
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S787287513-16.cnf	? (TO)	1200.06	1200.52	302920
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1330787624-15.cnf	? (TO)	1200.06	1200.48	307348
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1311675672-04.UNSAT.shuffled.cnf	? (TO)	1200.06	1200.49	296811
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S769702923-04.cnf	? (TO)	1200.06	1200.38	300419
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1225022879-08.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.51	292875
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S142115187-18.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.99	293326
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1061579177-10.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.45	293654
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1183327690-20.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.52	293613
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1411264373-05.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.48	293695
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1301714489-09.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.47	294269
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1280573704-13.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.15	294679
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1219079555-14.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.46	295253
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1225217164-02.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.43	295827
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1368015355-04.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.49	296114
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S2067396253-13.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.41	296483
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1211740352-20.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.33	298369
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S2127524023-19.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.39	299681
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1517867865-16.cnf	? (TO)	1200.07	1200.6	302305
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1407716880-15.cnf	? (TO)	1200.07	1200.52	302797
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S998136463-10.cnf	? (TO)	1200.07	1200.6	302756
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1096972624-15.cnf	? (TO)	1200.07	1200.48	303371
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S879514135-06.cnf	? (TO)	1200.07	1200.46	303904
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S751835224-10.cnf	? (TO)	1200.07	1200.38	304396
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S187076430-06.cnf	? (TO)	1200.07	1200.39	304232
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S81758219-15.cnf	? (TO)	1200.07	1200.42	305052
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S779713554-13.cnf	? (TO)	1200.07	1200.52	304806
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1426208256-08.cnf	? (TO)	1200.07	1200.53	304888
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S417670629-08.cnf	? (TO)	1200.07	1200.38	305626
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S880121748-08.cnf	? (TO)	1200.07	1200.57	306405
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S49237390-14.cnf	? (TO)	1200.07	1200.39	307184
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S977957999-02-UNSAT.cnf	? (TO)	1200.07	1200.39	308291
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1962059985-11-UNSAT.cnf	? (TO)	1200.07	1200.56	308619
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S499481065-10-SAT.cnf	? (TO)	1200.07	1200.4	308496
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1349608788-18-UNSAT.cnf	? (TO)	1200.07	1200.4	309070
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1275186626-09-UNSAT.cnf	? (TO)	1200.07	1200.62	309603
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1966306571-20-UNSAT.cnf	? (TO)	1200.07	1200.45	309890
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S994434255-18-UNKNOWN.cnf	? (TO)	1200.07	1200.5	310177
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1501024241-13-UNSAT.cnf	? (TO)	1200.07	1200.39	310751
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1554939604-02-UNSAT.cnf	? (TO)	1200.07	1200.14	312145
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1314186802-12.UNSAT.shuffled.cnf	? (TO)	1200.07	1200.42	295663
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1875179522-13.cnf	? (TO)	1200.07	1200.47	307471
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1138392605-05-UNKNOWN.cnf	? (TO)	1200.07	1200.38	310054
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1402143852-01.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.44	292260
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1257170129-13.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.38	293121
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1483196631-09.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.45	293449
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1738460433-02.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.41	294310
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1708367663-03.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.83	296073
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1546827657-01.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.37	296934
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1762817022-10.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.48	297057
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1115796430-03.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.59	297836
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1212545732-02.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.5	298082
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S451874538-03.cnf	? (TO)	1200.08	1200.4	300173
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S260814579-03.cnf	? (TO)	1200.08	1200.46	302018
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1509822356-13.cnf	? (TO)	1200.08	1200.52	302469
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1739132237-05.cnf	? (TO)	1200.08	1200.39	302715
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S640027679-08.cnf	? (TO)	1200.08	1200.54	303207
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S2117580343-16.cnf	? (TO)	1200.08	1200.44	303330
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S938354044-16.cnf	? (TO)	1200.08	1200.39	303617
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S1751213243-05.cnf	? (TO)	1200.08	1200.43	303699
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1955740096-08.cnf	? (TO)	1200.08	1200.57	303945
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S417904071-03.cnf	? (TO)	1200.08	1200.53	304273
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S886048189-14.cnf	? (TO)	1200.08	1200.37	305093
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S565127616-04.cnf	? (TO)	1200.08	1200.43	306528
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S883878972-08.cnf	? (TO)	1200.08	1200.49	306733
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1106616038-10.cnf	? (TO)	1200.08	1200.4	307307
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1757451736-02-UNSAT.cnf	? (TO)	1200.08	1200.51	308373
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1529420458-04-UNSAT.cnf	? (TO)	1200.08	1200.57	309849
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S846304296-04-UNSAT.cnf	? (TO)	1200.08	1200.63	310874
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1151229574-11-UNSAT.cnf	? (TO)	1200.08	1200.47	311612
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1314701073-08.cnf	? (TO)	1200.08	1200.53	307266
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1104990816-03-UNSAT.cnf	? (TO)	1200.08	1200.97	312227
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1147406493-20.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.81	293285
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1925680230-06.UNSAT.shuffled.cnf	? (TO)	1200.08	1200.48	299927
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1260745628-20.UNSAT.shuffled.cnf	? (TO)	1200.09	1200.59	291727
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1405262666-07.UNSAT.shuffled.cnf	? (TO)	1200.09	1200.5	293982
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1504426817-07.UNSAT.shuffled.cnf	? (TO)	1200.09	1200.53	295704
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S167199451-11.UNSAT.shuffled.cnf	? (TO)	1200.09	1200.53	295991
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S2083146463-03.UNSAT.shuffled.cnf	? (TO)	1200.09	1200.66	297631
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1922669300-13.cnf	? (TO)	1200.09	1200.4	300132
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S837858872-05.cnf	? (TO)	1200.09	1200.52	301526
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1403172096-14.cnf	? (TO)	1200.09	1200.51	302592
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S467706592-03.cnf	? (TO)	1200.09	1200.51	303043
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S77566504-14.cnf	? (TO)	1200.09	1200.61	303658
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S376181597-04-UNKNOWN.cnf	? (TO)	1200.09	1200.56	307758
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1626790907-13-UNSAT.cnf	? (TO)	1200.09	1200.48	309111
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1629945861-01-UNKNOWN.cnf	? (TO)	1200.09	1200.48	310013
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S262114230-17-UNSAT.cnf	? (TO)	1200.09	1200.47	311284
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S834531569-01-UNSAT.cnf	? (TO)	1200.09	1200.38	311161
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S25157261-20-UNSAT.cnf	? (TO)	1200.09	1200.53	311243
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S235206606-20.UNSAT.shuffled.cnf	? (TO)	1200.09	1200.6	297467
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1459708824-17.UNSAT.shuffled.cnf	? (TO)	1200.09	1200.49	298533
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S202413125-05.cnf	? (TO)	1200.09	1200.45	305380
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1946534526-16.cnf	? (TO)	1200.09	1200.51	305462
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S56884336-05.cnf	? (TO)	1200.09	1200.13	306487
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1022605561-16-UNSAT.cnf	? (TO)	1200.09	1200.48	311366
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1329819842-01.UNSAT.shuffled.cnf	? (TO)	1200.09	1200.53	292670
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S120857050-04.cnf	? (TO)	1200.09	1200.36	304724
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1104207220-18.UNSAT.shuffled.cnf	? (TO)	1200.1	1200.48	294515
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S14782837-06.UNSAT.shuffled.cnf	? (TO)	1200.1	1200.64	295048
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1279108477-06.UNSAT.shuffled.cnf	? (TO)	1200.1	1200.45	296155
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1161940794-17.UNSAT.shuffled.cnf	? (TO)	1200.1	1200.57	298328
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1370059435-05.UNSAT.shuffled.cnf	? (TO)	1200.1	1200.64	298820
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1085782051-01.UNSAT.shuffled.cnf	? (TO)	1200.1	1200.48	298779
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S2050975470-04.cnf	? (TO)	1200.1	1200.55	302551
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S57566027-15.cnf	? (TO)	1200.1	1200.45	304314
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S679764311-04.cnf	? (TO)	1200.1	1200.98	304437
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S448238512-10.cnf	? (TO)	1200.1	1200.49	305175
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S897388318-05.cnf	? (TO)	1200.1	1200.58	306036
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1912540524-08.cnf	? (TO)	1200.1	1200.59	306241
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S67600799-16.cnf	? (TO)	1200.1	1200.46	306446
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S161446644-14.cnf	? (TO)	1200.1	1200.78	307061
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1890278326-03.cnf	? (TO)	1200.1	1200.39	306979
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1613098638-06-UNSAT.cnf	? (TO)	1200.1	1200.29	308086
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1239472001-19-UNSAT.cnf	? (TO)	1200.1	1200.43	311038
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S2108627398-03-UNSAT.cnf	? (TO)	1200.1	1200.36	311735
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1439774943-07-UNSAT.cnf	? (TO)	1200.1	1200.5	312309
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1590273377-07.UNSAT.shuffled.cnf	? (TO)	1200.1	1200.5	299886
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1172786648-06.cnf	? (TO)	1200.1	1200.54	301649
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1980584520-03.cnf	? (TO)	1200.1	1200.47	304027
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1240130681-11-UNSAT.cnf	? (TO)	1200.1	1200.52	310833
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1141171506-10.UNSAT.shuffled.cnf	? (TO)	1200.1	1200.5	294843
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1284960805-05.UNSAT.shuffled.cnf	? (TO)	1200.11	1200.43	294925
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S333805260-05.cnf	? (TO)	1200.11	1200.45	303125
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S478782385-06.cnf	? (TO)	1200.11	1200.41	303576
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S1617760096-16.cnf	? (TO)	1200.11	1200.54	304601
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1274869912-15.cnf	? (TO)	1200.11	1200.55	305872
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1189233705-10.cnf	? (TO)	1200.11	1200.6	306938
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1299985238-16.cnf	? (TO)	1200.11	1200.59	307225
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S966455977-02-UNSAT.cnf	? (TO)	1200.11	1200.99	309193
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1248103115-09-UNKNOWN.cnf	? (TO)	1200.11	1200.44	310218
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1680450953-04-UNSAT.cnf	? (TO)	1200.11	1200.94	311940
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1399781364-05.UNSAT.shuffled.cnf	? (TO)	1200.11	1200.44	293367
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S440198403-10.UNSAT.shuffled.cnf	? (TO)	1200.11	1200.62	299599
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1535300821-05.cnf	? (TO)	1200.11	1200.67	304109
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S2118640909-06.cnf	? (TO)	1200.11	1200.55	306569
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1054448974-13.cnf	? (TO)	1200.11	1200.48	306774
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1705860047-05-SAT.cnf	? (TO)	1200.11	1200.64	308742
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1257199575-18.UNSAT.shuffled.cnf	? (TO)	1200.11	1200.47	298205

SAT 2007 Competition Phase 1: benchmarks results per solver

Result page for solver FH 2007-02-08

Category "crafted instances" (CRAFTED)

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

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

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

Category "industrial instances" (INDUST)

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

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

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

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

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

Category "random instances" (RANDOM)

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

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