SAT 2011 Competition: main competition (phase 1): benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	0.05999	0.0234069	3265170
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.075987	0.046387	3261254
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	0.077988	0.0341129	3264026
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3500_3500_30f1.shuffled.cnf	UNSAT	0.095984	0.043619	3266182
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	0.392939	0.384798	3263982
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	0.686895	0.502861	3266622
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	1.3248	0.432721	3261518
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	1.39779	0.961474	3266578
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	UNSAT	15.0097	7.79381	3260726
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	24.9992	6.81128	3266006
crafted/spence/ hard/s113-100.cnf	UNSAT	290.722	73.9157	3257250
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	UNSAT	547.67	138.421	3261342
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	UNSAT	595.738	150.768	3273827
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	UNSAT	638.428	162.405	3263014
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	UNSAT	1159.91	291.185	3265346
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	UNSAT	1349.27	338.559	3265258
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	3086.62	773.455	3261386
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	UNSAT	3416.66	890.546	3263058
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	UNSAT	4244.96	1068.05	3263674
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	UNSAT	4645.03	1182.54	3273874

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.049992	0.035733	3266138
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.183971	0.184365	3257690
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.581911	0.493385	3266050
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.796878	0.213786	3259934
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.898862	0.899274	3261650
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	1.58276	1.56007	3261034
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	2.24766	0.942882	3265874
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	SAT	2.65859	1.16383	3261474
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	3.20451	0.999718	3261430
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	7.68083	4.3993	3261782
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	9.72152	9.40075	3261606
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	13.198	13.1981	3257514
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	SAT	15.2567	7.98548	3260638
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	35.6356	8.97041	3260374
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	54.0768	19.218	3261166
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	97.9381	24.5956	3260286
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	186.548	46.8356	3260242
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	313.596	78.9583	3266798
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	SAT	394.209	98.9834	3266754
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	SAT	563.765	142.758	3266666
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	574.604	144.625	3259846
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	619.2	155.502	3260770
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	SAT	763.303	191.78	3266974
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	SAT	979.541	246.318	3261298
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	1512.14	379.733	3274062
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	SAT	2903.41	731.031	3266886

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	?	4800.05	1203.86	3260594
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	?	4800.05	1208.66	3260858
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	?	4800.07	1206.18	3257338
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	?	4800.07	1207.4	3265214
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	?	4800.07	1207.27	3260682
crafted/mosoi/289/ 289-unsat-17x27.cnf	?	4800.1	1203.39	3249548
crafted/mosoi/289/ 289-unsat-6x40.cnf	?	4800.1	1203.79	3249636
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	?	4800.1	1218.7	3273733
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	?	4800.11	1216.29	3273968
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	?	4800.14	1215.19	3265522

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	4391.28	1300.35	3266534
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	? (TO)	4800.06	1206.64	3260550
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	4800.07	1203.53	3249196
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	4800.11	1216.27	3274015
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	? (TO)	4800.11	1204.42	3260814
crafted/mosoi/ 289/289-sat-14x8.cnf	? (TO)	4800.11	1207.4	3260066
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	4800.11	1204.55	3273780
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	4800.12	1223.53	3265302
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	4800.12	1204.84	3249680
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	4800.12	1202.11	3262750
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	4800.13	1213.91	3273498
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	? (TO)	4800.13	1206.03	3265742
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	? (TO)	4800.14	1204.81	3273592
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	4800.14	1202.31	3265786
crafted/mosoi/289/ 289-sat-6x8.cnf	? (TO)	4800.14	1205.92	3260418
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	? (TO)	4800.14	1202.98	3261694
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	4800.15	1203.93	3265126
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	4800.15	1215.01	3274250
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	4800.16	1205.18	3250296
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	? (TO)	4800.16	1201.78	3263938
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	4800.16	1204.67	3257558
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	4800.16	1203.54	3257470
crafted/mosoi/289/ 289-sat-6x9.cnf	? (TO)	4800.16	1206.72	3260506
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	? (TO)	4800.16	1202.47	3264114
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	? (TO)	4800.16	1201.87	3264378
crafted/mosoi/ 289/289-sat-6x19.cnf	? (TO)	4800.17	1206.58	3259890
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	4800.17	1211.71	3264554
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	? (TO)	4800.17	1205.28	3265698
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	? (TO)	4800.18	1204.71	3274203
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	? (TO)	4800.18	1215.26	3264994
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	4800.19	1202.26	3262838
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	? (TO)	4800.19	1202.38	3263278
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	4800.19	1203.59	3259626
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	? (TO)	4800.19	1203.44	3265654
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	4800.19	1206.62	3249328
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	4800.19	1202.97	3258570
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	4800.2	1202.13	3263498
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	? (TO)	4800.2	1211.61	3264818
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	4800.2	1203.39	3250120
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	4800.21	1203.11	3250032
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	? (TO)	4800.21	1203.46	3266710
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	4800.21	1203.25	3259142
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	4800.22	1202.51	3258262
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	4800.22	1203.17	3257998
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	? (TO)	4800.22	1203.92	3249900
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	4800.22	1211.94	3273686
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	? (TO)	4800.22	1211.52	3265038
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	? (TO)	4800.22	1202.77	3265830
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	4800.22	1203.89	3259318
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	4800.22	1203.09	3249812
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	? (TO)	4800.22	1203.4	3273404
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	4800.22	1204.52	3263234
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	4800.23	1203.14	3258658
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	4800.23	1208.65	3249372
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	? (TO)	4800.23	1203.07	3261122
crafted/mosoi/ 289/289-sat-11x9.cnf	? (TO)	4800.23	1206.02	3260462
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	4800.23	1205.18	3257778
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	4800.23	1203.21	3258174
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	4800.23	1203.18	3258350
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	4800.23	1204.07	3258526
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	4800.23	1202.92	3259582
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	4800.24	1203.09	3257382
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	? (TO)	4800.24	1203.96	3259538
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	4800.24	1202.66	3262970
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	4800.24	1201.94	3261210
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	4800.24	1202.88	3258614
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	4800.24	1203.94	3258878
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	4800.25	1212.11	3249504
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	4800.25	1202.49	3264246
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	4800.25	1203.78	3249724
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	4800.25	1206.82	3266490
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	4800.25	1204.65	3258394
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	4800.25	1202.33	3262926
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	4800.25	1202.25	3263190
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	4800.25	1202.76	3258834
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	4800.25	1202.24	3263630
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	4800.26	1204.21	3263542
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	4800.26	1204.46	3258482
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	4800.26	1203.26	3259670
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	4800.26	1202.4	3249460
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	4800.26	1222.25	3263850
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	4800.26	1202.34	3257602
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	? (TO)	4800.26	1203.41	3259450
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	? (TO)	4800.26	1202.5	3258086
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	4800.27	1204.67	3273921
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	? (TO)	4800.27	1203.16	3259230
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	4800.27	1203.37	3263586
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	4800.27	1202.98	3259010
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	4800.27	1203.33	3257734
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	4800.27	1202.89	3258922
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	4800.27	1203.35	3258746
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	? (TO)	4800.27	1202.96	3264070
crafted/mosoi/289/ 289-unsat-6x30.cnf	? (TO)	4800.28	1202.69	3249240
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	4800.28	1205.68	3259714
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	? (TO)	4800.28	1202.46	3264510
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	4800.28	1203.35	3259362
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	4800.28	1207.85	3250384
crafted/mosoi/ 289/289-sat-6x20.cnf	? (TO)	4800.28	1204.61	3260110
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	4800.28	1204.78	3251572
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	4800.28	1203.34	3258790
crafted/mosoi/ 289/289-sat-4x35.cnf	? (TO)	4800.28	1221.29	3259978
crafted/mosoi/ 289/289-sat-12x14.cnf	? (TO)	4800.28	1202.02	3260330
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	? (TO)	4800.29	1231.82	3263894
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	? (TO)	4800.29	1203.99	3273545
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	? (TO)	4800.29	1204.83	3263718
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	? (TO)	4800.29	1204.4	3258966
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	4800.29	1202.9	3259406
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	4800.29	1202.5	3258218
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	4800.29	1205.39	3259186
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	4800.29	1207.71	3251352
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	4800.3	1202.6	3258702
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	? (TO)	4800.3	1203.75	3259054
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	4800.3	1204.86	3264202
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	4800.3	1282.29	3265566
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	? (TO)	4800.3	1204.08	3257954
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	? (TO)	4800.3	1204.35	3264158
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	? (TO)	4800.3	1211.8	3264422
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	? (TO)	4800.31	1202.26	3262354
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	4800.31	1202.6	3249592
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	? (TO)	4800.31	1218.03	3261738
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	4800.31	1205.38	3259274
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	? (TO)	4800.31	1215.66	3266094
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	? (TO)	4800.31	1206.62	3260902
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	? (TO)	4800.32	1202.47	3257910
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	? (TO)	4800.32	1201.97	3261826
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	? (TO)	4800.32	1203.19	3258438
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	4800.32	1202.94	3264466
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	? (TO)	4800.32	1212.02	3264334
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	4800.32	1250.31	3263806
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	? (TO)	4800.33	1225.92	3264950
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	? (TO)	4800.33	1207.92	3263146
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	4800.33	1202.74	3258306
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	? (TO)	4800.33	1262.97	3264906
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	? (TO)	4800.33	1202.71	3259494
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	? (TO)	4800.33	1203.62	3261562
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	? (TO)	4800.33	1227.3	3261078
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	4800.33	1210.93	3263410
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	? (TO)	4800.34	1245.43	3263762
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	? (TO)	4800.34	1202.4	3265962
crafted/mosoi/ 289/289-sat-9x13.cnf	? (TO)	4800.34	1205.35	3260154
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	? (TO)	4800.34	1201.96	3250340
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	? (TO)	4800.34	1203.69	3257866
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	? (TO)	4800.34	1203.99	3265918
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	4800.35	1228.12	3262882
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	4800.35	1204.25	3251396
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	4800.35	1207.3	3265478
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	4800.35	1209.95	3251044
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	? (TO)	4800.35	1202.25	3266226
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	4800.35	1246.97	3263102
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	? (TO)	4800.36	1203.05	3259098
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	4800.36	1204.82	3273451
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	4800.36	1202.1	3264686
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	? (TO)	4800.36	1227.7	3264862
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	? (TO)	4800.36	1202.23	3262222
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	4800.36	1202.31	3249988
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	4800.36	1203.33	3263454
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	4800.37	1210.03	3251264
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	? (TO)	4800.37	1202.03	3264290
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	4800.37	1204.34	3257646
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	4800.37	1203.09	3249284
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	? (TO)	4800.37	1202.88	3257822
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	4800.37	1209.76	3250868
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	? (TO)	4800.38	1202.38	3262530
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	4800.38	1202.06	3262618
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	? (TO)	4800.38	1204.1	3265082
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	4800.38	1215.83	3249768
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	4800.39	1214.35	3273639
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	4800.39	1204.61	3251088
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	4800.4	1209.03	3251000
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	? (TO)	4800.4	1202.38	3261914
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	? (TO)	4800.4	1202.91	3265434
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	4800.4	1203.5	3251616
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	4800.4	1204.52	3251176
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	? (TO)	4800.4	1204.08	3266842
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	4800.41	1202.57	3263322
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	4800.41	1205.13	3274109
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	4800.41	1203.73	3258042
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	4800.42	1209.01	3262794
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	4800.42	1202.07	3250736
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	? (TO)	4800.43	1202.03	3266402
crafted/mosoi/ 289/289-sat-11x10.cnf	? (TO)	4800.43	1205.44	3260198
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	4800.43	1203.97	3251704
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	4800.44	1202.13	3264642
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	? (TO)	4800.44	1206.23	3266930
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	4800.44	1212.11	3263366
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	4800.44	1202.4	3250164
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	? (TO)	4800.45	1230.34	3264774
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	? (TO)	4800.45	1202.14	3260990
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	4800.45	1210.46	3251220
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	4800.45	1205.82	3250912
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	4800.45	1202.64	3250648
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	4800.45	1204.63	3274156
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	? (TO)	4800.45	1209.04	3251528
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	4800.46	1208.83	3259802
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	4800.46	1204.77	3259758
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	? (TO)	4800.46	1202.06	3262134
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	4800.47	1204.55	3251484
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	? (TO)	4800.47	1205.24	3258130
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	4800.47	1202.57	3250516
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	? (TO)	4800.48	1206.21	3250956
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	? (TO)	4800.49	1202.54	3262178
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	? (TO)	4800.49	1204.53	3260946
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	4800.5	1211.17	3251660
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	4800.5	1202.65	3250692
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	? (TO)	4800.5	1202.2	3265610
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	4800.5	1202.39	3250824
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	? (TO)	4800.51	1201.98	3262662
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	4800.51	1202.38	3262002
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	4800.51	1203.23	3262706
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	4800.51	1202.08	3250076
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	? (TO)	4800.52	1203.34	3262486
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	? (TO)	4800.53	1211.23	3265390
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	? (TO)	4800.53	1202.04	3262574
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	4800.53	1202.74	3250780
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	4800.53	1202.26	3257294
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	? (TO)	4800.54	1202.37	3262090
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	? (TO)	4800.54	1202.44	3262046
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	? (TO)	4800.55	1203.17	3257426
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	4800.55	1206.28	3251440
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	? (TO)	4800.55	1201.98	3261870
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	4800.57	1203.88	3249152
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	4800.57	1202.47	3250428
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	4800.57	1207.89	3251308
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	? (TO)	4800.58	1202.28	3266314
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	? (TO)	4800.59	1202.32	3262310
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	4800.59	1201.99	3250208
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	? (TO)	4800.6	1202.24	3262398
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	4800.61	1202.34	3250560
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	4800.61	1202.75	3250604
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	? (TO)	4800.62	1202.41	3262442
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	? (TO)	4800.63	1202.27	3262266
crafted/mosoi/ 289/289-sat-12x15.cnf	? (TO)	4800.67	1202.38	3260022
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	? (TO)	4800.67	1202.25	3266358
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	4800.7	1209.84	3251132
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	? (TO)	4800.72	1202.76	3261958
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	4800.72	1202.41	3266270
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	4800.76	1202.87	3249416
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	4800.85	1202.83	3250252
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	4800.9	1203.02	3250472

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (MO)	2305.01	578.024	3266446
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	? (MO)	3320.44	838.427	3264598
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (MO)	4328.03	1209.88	3264730

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	Signal 11	5.20521	6.61451	3249944
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	Signal 11	5.2722	5.07181	3249856

SAT 2011 Competition: main competition (phase 1): benchmarks results per solver

Result page for solver ttsth 5-4 (complete)

Category "crafted instances" (CRAFTED)

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

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

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

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

Solver exceeded the memory limit (no solution given) (3 runs) [Show/Hide]

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