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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3500_3500_30f1.shuffled.cnf	UNSAT	0.336948	0.21293	3439622
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.587909	0.462072	3439602
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.708891	0.342269	3438967
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	1.07084	0.667391	3439007
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	1.27181	0.801218	3439507
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	2.24366	1.83835	3439497
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	3.74943	3.34718	3438947
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	4.25535	3.74923	3439372
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	14.3028	13.8117	3439627
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	15.1267	14.6721	3439377
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	UNSAT	17.0944	16.4996	3438892
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	80.0338	79.5516	3439672
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	UNSAT	267.008	266.506	3438932
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	270.879	270.469	3439612
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	UNSAT	312.498	308.499	3439532
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	328.246	327.947	3439217
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	342.169	341.62	3439142
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	350.308	349.851	3439667
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	396.468	396.128	3439122
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	UNSAT	541.946	540.879	3438887
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	811.96	811.388	3439367
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	909.484	908.788	3438987
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	UNSAT	1048.94	1048.41	3438977
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	UNSAT	1267.71	1266.95	3439137
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	UNSAT	1394.83	1394	3439147
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	UNSAT	1674.87	1670.86	3438907
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	UNSAT	1849.34	1848.62	3439092
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	UNSAT	4184.61	4183.6	3439187

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.12498	0.129138	3438732
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.151976	0.128875	3438832
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.156975	0.133946	3438802
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.202968	0.166911	3438807
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.216966	0.167312	3438937
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.231963	0.185957	3438842
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.268958	0.188524	3438857
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.268958	0.197132	3438367
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.273957	0.191686	3438737
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.276956	0.168635	3439022
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	0.289955	0.19758	3438957
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	0.307952	0.193514	3439017
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.308952	0.212172	3439617
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	0.376942	0.529027	3439037
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	0.405937	0.302547	3438347
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	0.412936	0.249318	3438992
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.417935	0.275101	3438782
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.480926	0.550868	3438772
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.484925	0.762319	3438717
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.502923	0.292875	3438797
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.505922	0.276274	3438852
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.52092	0.523091	3438767
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	0.567913	0.306475	3438822
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	0.578911	0.324329	3438747
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.642902	0.332759	3439607
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.687894	0.411573	3439587
crafted/mosoi/289/ 289-unsat-6x30.cnf	SAT	0.885864	0.54516	3438727
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	1.22081	0.986129	3438702
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	1.35879	1.14177	3438687
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	1.77173	2.16199	3438337
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	2.33864	1.83057	3439417
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	6.77297	6.49794	3438922
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	14.2998	13.7533	3439557
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	SAT	17.5243	16.9579	3438877
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	20.1409	19.5682	3439412
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	20.6939	20.07	3438862
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	27.6728	27.1918	3439732
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	SAT	31.3682	30.9453	3438997
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	SAT	43.8853	43.3563	3438942
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	44.7172	44.066	3438902
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	47.7527	47.645	3439032
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	58.6841	57.8239	3438867
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	74.1877	73.7548	3439407
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	105.651	105.194	3439442
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	SAT	118.975	118.54	3438617
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	163.051	162.427	3438912
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	SAT	244.941	244.169	3438452
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	244.947	244.215	3438417
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	SAT	357.761	357.278	3439152
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	SAT	434.103	433.26	3438572
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT	446.556	444.226	3438602
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	656.855	656.248	3439117
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	671.631	671.107	3439077
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	SAT	753.945	753.375	3438632
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	SAT	817.954	816.654	3438927
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	875.12	873.45	3439697
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	SAT	875.248	873.902	3439027
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	930.75	929.813	3438322
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	SAT	967.822	967.421	3438637
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	SAT	1082.39	1080.04	3439767
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	1113.29	1112.7	3439097
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	1267.15	1265.58	3438397
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	SAT	1747.75	1746.54	3438972
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	1848.88	1843.32	3438607
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	SAT	2960.57	2955.72	3439787
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	SAT	3019.53	3012.4	3438342
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	SAT	3061.67	3057.94	3438387
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	SAT	3471.53	3470.92	3439457
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	SAT	4401.74	4399.37	3439432
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	SAT	4641.37	4640.52	3439642

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	? (TO)	5000	4996.52	3439132
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	5000	4992.03	3439777
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	? (TO)	5000.01	4993.82	3438577
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	5000.01	4990.32	3438462
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	5000.01	4997.52	3438357
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	? (TO)	5000.01	4991.85	3439277
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	5000.01	4994.13	3439402
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	5000.01	4994.33	3438502
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	5000.01	4963.84	3438757
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	5000.01	4988.32	3438587
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	5000.01	4935.52	3438882
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	5000.01	4998.53	3439437
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	5000.02	4999.23	3438642
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	5000.02	4999.23	3438652
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	5000.02	4989.02	3439087
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	5000.02	4999.03	3438657
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	5000.02	4999.02	3438697
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	5000.02	4996.83	3439197
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	5000.02	4997.03	3439212
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	? (TO)	5000.02	4994.93	3439392
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	5000.02	4998.93	3439202
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	? (TO)	5000.02	4997.12	3439572
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	5000.02	4997.13	3439192
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	? (TO)	5000.02	4992.33	3439342
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	? (TO)	5000.02	4996.95	3439167
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	5000.02	4994.13	3439327
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	5000.02	4988.73	3439702
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	? (TO)	5000.02	4989.13	3439692
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	5000.02	4991.25	3439807
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	5000.02	4994.73	3438472
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	5000.02	4998.73	3439662
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	5000.02	4997.25	3439652
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	5000.02	4999.03	3438627
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	? (TO)	5000.02	4994.62	3438392
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	5000.02	4992.13	3439272
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	5000.02	4995.33	3438352
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	5000.03	4995.43	3439547
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	? (TO)	5000.03	4997.02	3439112
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	5000.03	4994.33	3439397
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	5000.03	4991.72	3438582
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	5000.03	4993.32	3438432
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	5000.03	4994.43	3439802
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	? (TO)	5000.03	4992.33	3439337
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	? (TO)	5000.03	4995.04	3438567
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	5000.03	4989.23	3439812
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	5000.03	4992.95	3439237
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	? (TO)	5000.03	4998.53	3439597
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	5000.03	4999.03	3439632
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	5000.03	4993.33	3438482
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	5000.03	4991.63	3439317
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	5000.03	4988.73	3438552
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	5000.03	4991.23	3439522
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	5000.04	4991.03	3439297
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	? (TO)	5000.04	4992.74	3439792
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	5000.04	4994.54	3439782
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	5000.04	4994.63	3439772
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	5000.04	4988.13	3439752
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	5000.04	4993.32	3439747
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	? (TO)	5000.04	4992.73	3439742
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	5000.04	4993.63	3439727
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	5000.04	4972.44	3439707
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	? (TO)	5000.04	4985.33	3439677
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	? (TO)	5000.04	4999.13	3439647
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	5000.04	4939.82	3438917
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	? (TO)	5000.04	4995.53	3438522
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	5000.04	4987.44	3438517
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	5000.04	4995.12	3438557
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	5000.04	4993.23	3439242
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	5000.04	4988.33	3439232
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	5000.04	4989.33	3439227
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	5000.04	4998.33	3439222
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	5000.04	4999.03	3439207
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	5000.04	4996.94	3439107
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	5000.04	4990.33	3438422
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	? (TO)	5000.04	4997.03	3439582
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	5000.04	4993.83	3439517
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	5000.04	4978.43	3439512
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	? (TO)	5000.04	4999.24	3439472
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	5000.04	4998.35	3439427
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	? (TO)	5000.04	4998.34	3439422
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	? (TO)	5000.04	4995.43	3439387
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	5000.05	4993.03	3439267
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	5000.05	4994.15	3439282
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	5000.05	4993.13	3439722
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	? (TO)	5000.05	4995.33	3438542
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	5000.05	4978.43	3439762
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	5000.05	4991.84	3439797
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	5000.05	4999.24	3439552
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	5000.05	4974.03	3439542
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	? (TO)	5000.05	4996.24	3439382
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	5000.05	4992.44	3439307
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	5000.05	4999.23	3439357
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	5000.05	4999.63	3438667
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	5000.05	4986.62	3438362
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	? (TO)	5000.05	4995.23	3438512
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	? (TO)	5000.05	4999.15	3439477
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	5000.06	4982.63	3439757
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	5000.06	4996.52	3439452
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	? (TO)	5000.06	4997.44	3439562
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	5000.06	4969.85	3439072
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	5000.06	4974.83	3438837
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	5000.06	4973.64	3438787
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	? (TO)	5000.06	4978.73	3439537
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	5000.06	4998.93	3438672
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	5000.06	4984.23	3439687
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	5000.06	4998.53	3439002
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	? (TO)	5000.06	4997.83	3439157
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	5000.06	4989.83	3439712
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	5000.06	4995.26	3438537
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	? (TO)	5000.06	4994.22	3438897
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	5000.06	4998.33	3439177
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	? (TO)	5000.06	4998.73	3439637
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	5000.06	4991.33	3438507
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	5000.06	4987.12	3438532
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	5000.06	4988.12	3438377
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	? (TO)	5000.06	4995.14	3438527
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	? (TO)	5000.06	4999.33	3439362
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	5000.07	4980.93	3438722
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	5000.07	4991.52	3438612
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	5000.07	4994.22	3438407
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	5000.07	4990.82	3438332
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	5000.07	4985.15	3439682
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	5000.07	4993.83	3439287
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	5000.07	4991.85	3439257
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	5000.07	4989.23	3438487
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	5000.07	4999.03	3439052
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	5000.07	4998.83	3438952
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	? (TO)	5000.07	4998.03	3439592
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	5000.07	4992.23	3439527
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	5000.07	4979.43	3439502
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	? (TO)	5000.07	4999.33	3439347
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	5000.07	4993.44	3439332
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	5000.07	4991.53	3439322
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	5000.07	4982.73	3438817
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	5000.07	4999.23	3438647
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	? (TO)	5000.07	4999.33	3439487
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	? (TO)	5000.07	4999.23	3439467
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	5000.07	4996.43	3439182
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	? (TO)	5000.07	4997.53	3439162
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	5000.07	4990.63	3438447
crafted/spence/ hard/s113-100.cnf	? (TO)	5000.07	4999.33	3438317
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	5000.07	4961.33	3438847
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	5000.07	4983.13	3438762
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	5000.07	4983.05	3438712
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	5000.07	4994.72	3438427
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	5000.07	4998.73	3438622
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	5000.07	4984.73	3438592
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	5000.08	4987.03	3438562
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	5000.08	4985.73	3438492
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	5000.08	4997.02	3439577
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	? (TO)	5000.08	4996.73	3439172
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	5000.08	4991.13	3438327
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	? (TO)	5000.08	4999.23	3439492
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	5000.08	4999.45	3438707
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	5000.08	4960.33	3438752
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	5000.08	4984.25	3438777
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	5000.08	4991.53	3439302
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	5000.08	4994.63	3438437
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	? (TO)	5000.08	4995.14	3438412
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	5000.08	4999.33	3439657
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	5000.08	4993.73	3439252
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	5000.08	4990.83	3438497
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	5000.09	4999.12	3438692
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	5000.09	4999.03	3438962
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	5000.09	4997.93	3438982
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	? (TO)	5000.09	4995.43	3439012
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	5000.09	4990.05	3438467
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	5000.09	4990.24	3438457
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	5000.09	4988.94	3438442
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	5000.09	4992.23	3438372
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	? (TO)	5000.09	4993.33	3439717
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	? (TO)	5000.09	4994.32	3438382
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	? (TO)	5000.09	4999.23	3439067
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	5000.09	4999.32	3438677
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	? (TO)	5000.09	4997.53	3439102
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	5000.09	4996.83	3439127
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	5000.09	4994.42	3438547
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	5000.09	4975.03	3438827
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	5000.09	4985.93	3438812
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	? (TO)	5000.09	4991.85	3439262
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	? (TO)	5000.09	4999.13	3439462
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	5000.1	4998.93	3439352
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	5000.1	4991.13	3439247
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	5000.1	4987.03	3438597
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	5000.1	4999.32	3438682
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	5000.1	4990.42	3439312
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	5000.1	4974.78	3438792
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	5000.1	4981.63	3438742
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	5000.1	4993.23	3439082
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	? (TO)	5000.1	4993.33	3439737
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	? (TO)	5000.1	4999.13	3439482
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	5000.1	4991.85	3438402
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	5000.1	4992.73	3439047
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	5000.1	4996.14	3439447
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	5000.11	4999.55	3438662
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	5000.11	4991.13	3438477
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	5000.11	4989.75	3439057
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	5000.11	4973.25	3439062
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	5000.11	4994.06	3438872
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	? (TO)	5000.11	4993.23	3439292
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	? (TO)	5000.11	4997.13	3439567
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	5000.11	4987.93	3439042

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

Result page for solver jMiniSat 2011 (complete)

Category "crafted instances" (CRAFTED)

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

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

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