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.006998	0.020953	3439618
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.053991	0.054986	3438963
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.331949	0.333845	3439598
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	0.637902	0.640555	3439003
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	1.26881	1.26869	3439493
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	UNSAT	1.66575	1.66677	3439533
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	1.89371	1.89495	3439503
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	5.05323	5.05365	3438943
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	7.51886	7.5206	3439368
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	8.36173	8.36151	3439623
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	13.8719	13.8733	3439373
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	UNSAT	28.6386	28.6398	3439528
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	135.506	135.505	3439608
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	UNSAT	143.564	143.561	3438928
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	164.597	164.596	3439213
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	210.691	210.689	3439118
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	217.192	217.202	3439138
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	UNSAT	268.664	268.659	3438883
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	350.17	350.171	3438983
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	UNSAT	358.833	358.826	3438903
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	UNSAT	369.057	369.05	3439088
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	UNSAT	418.25	418.266	3439593
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	UNSAT	486.604	486.593	3438973
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	UNSAT	764.229	764.218	3439133
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	913.427	913.401	3439363
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	UNSAT	1068.25	1068.24	3439143
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	1398.45	1398.45	3439668
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	UNSAT	2553.57	2553.53	3439153
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	UNSAT	2755.23	2755.28	3439183
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	2878.35	2878.26	3439663
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	UNSAT	2920.26	2920.21	3439588
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	UNSAT	3132.45	3132.47	3438353
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	UNSAT	4096.4	4096.34	3439158

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.001999	0.00570989	3438933
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.002998	0.01781	3439018
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.002999	0.0175069	3438728
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.003998	0.0194769	3438803
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.003998	0.015716	3438828
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.003999	0.0197169	3438798
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.004998	0.0154531	3438838
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.004998	0.0154371	3438853
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	0.006998	0.0242429	3438918
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	0.006998	0.017829	3438988
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	0.008998	0.017975	3439013
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.015996	0.017962	3438848
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	0.017996	0.018604	3438953
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.018996	0.0213351	3439613
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.018996	0.020737	3438713
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.018997	0.0203929	3438793
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.019996	0.0206571	3438763
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.019996	0.021416	3438363
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.020996	0.023683	3438778
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.021996	0.021793	3438768
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.025995	0.0271759	3438733
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	0.026995	0.027225	3439033
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	0.030994	0.0327659	3439028
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.047991	0.0497831	3439603
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.051991	0.0530279	3439583
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	0.053991	0.0559669	3438818
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	0.073987	0.0770451	3438743
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	SAT	0.167974	0.168233	3438938
crafted/mosoi/289/ 289-unsat-6x30.cnf	SAT	0.211967	0.211606	3438723
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	0.309952	0.310239	3439413
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	0.661898	0.662904	3439553
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	0.940856	0.946011	3438683
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	SAT	1.9427	1.94398	3438993
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	3.72343	3.72866	3439728
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	4.19836	4.19844	3439408
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	6.67498	6.675	3439403
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	8.21575	8.21762	3438858
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	SAT	10.4984	10.499	3438628
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	16.6125	16.6339	3438698
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	22.1066	22.1075	3438908
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	22.5556	22.5552	3438898
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	SAT	30.6363	30.6361	3438923
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	31.2093	31.2106	3438333
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	41.4247	41.4246	3439073
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	44.9512	44.9528	3438343
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	SAT	46.9299	46.9316	3439638
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	SAT	54.5597	54.5596	3439023
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	69.0745	69.0755	3438863
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	SAT	96.1624	96.1621	3439163
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	109.505	109.507	3438393
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT	120.751	120.748	3438598
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	SAT	150.164	150.178	3439763
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	155.401	155.4	3439113
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	SAT	188.444	188.439	3438613
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	300.397	300.393	3438318
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	317.627	317.619	3439438
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	SAT	382.769	382.772	3439008
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	SAT	400.12	400.113	3439388
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	SAT	461.74	461.734	3438538
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	461.866	461.86	3439093
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	SAT	569.489	569.476	3438968
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	SAT	594.119	594.12	3439738
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	SAT	604.253	604.237	3439338
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	622.438	622.426	3438413
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	SAT	888.221	888.236	3438873
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	999.398	999.369	3438603
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	SAT	1002.5	1002.48	3439148
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	SAT	1486.59	1486.56	3439673
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	1559.55	1559.57	3439693
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	SAT	1939.05	1939.23	3438338
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	SAT	2184.01	2183.93	3438633
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	SAT	2773.09	2773.05	3439713
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	SAT	2804.59	2804.55	3439168
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	SAT	3326.33	3326.34	3438378
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	SAT	3330.18	3330.13	3438448
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	SAT	4397.19	4397.1	3438553

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	5000.01	4999.91	3438948
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	5000.02	4999.92	3438693
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	5000.03	4999.92	3439433
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	? (TO)	5000.03	4999.93	3439783
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	5000.03	4999.91	3438958
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	? (TO)	5000.03	4999.91	3438888
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	? (TO)	5000.03	4999.92	3438388
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	5000.04	4999.91	3439513
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	? (TO)	5000.04	4999.92	3438383
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	5000.04	4999.93	3438533
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	5000.04	4999.92	3438428
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	? (TO)	5000.04	4999.93	3439733
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	5000.05	4999.92	3438618
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	5000.05	4999.93	3438543
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	? (TO)	5000.05	4999.92	3439558
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	? (TO)	5000.05	4999.92	3439563
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	5000.05	4999.93	3439248
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	5000.05	4999.93	3438398
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	? (TO)	5000.05	4999.92	3438508
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	5000.05	4999.92	3439223
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	5000.05	4999.93	3438403
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	5000.05	4999.93	3438433
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	? (TO)	5000.05	4999.93	3438893
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	5000.05	5000.04	3438558
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	5000.06	4999.94	3439228
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	5000.06	4999.92	3439518
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	5000.06	4999.94	3438513
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	5000.06	4999.94	3438323
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	5000.06	4999.95	3438368
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	5000.06	4999.94	3439753
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	5000.06	4999.96	3439123
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	5000.06	4999.94	3438478
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	5000.06	4999.93	3438608
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	5000.06	4999.95	3438483
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	5000.06	4999.94	3438453
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	5000.06	4999.95	3438458
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	5000.06	4999.93	3438868
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	? (TO)	5000.06	4999.91	3439383
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	? (TO)	5000.06	4999.92	3439378
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	5000.06	4999.92	3439253
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	5000.06	4999.94	3439723
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	5000.06	4999.93	3438578
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	5000.07	4999.92	3438498
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	? (TO)	5000.07	4999.93	3438563
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	5000.07	4999.95	3439423
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	5000.07	4999.94	3439398
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	5000.07	4999.93	3438528
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	5000.07	4999.92	3438503
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	5000.07	4999.95	3439678
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	? (TO)	5000.07	4999.95	3439108
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	5000.07	5000.02	3439573
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	5000.07	4999.92	3439648
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	5000.07	4999.95	3438438
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	5000.07	4999.96	3439743
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	5000.08	4999.93	3438493
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	5000.08	4999.94	3439293
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	5000.08	4999.97	3439298
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	5000.08	4999.96	3439708
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	5000.08	5000.04	3439278
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	5000.08	4999.96	3439768
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	? (TO)	5000.08	4999.96	3439128
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	5000.08	5000.12	3438998
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	? (TO)	5000.08	4999.93	3439288
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	5000.08	4999.97	3439703
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	? (TO)	5000.08	4999.95	3439273
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	5000.09	4999.95	3439653
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	? (TO)	5000.09	4999.93	3438523
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	5000.09	4999.95	3439498
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	5000.09	5000.03	3439323
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	5000.09	5000.02	3439523
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	? (TO)	5000.09	5000.12	3438408
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	5000.09	4999.94	3439798
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	5000.09	4999.97	3439748
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	5000.09	4999.97	3439758
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	5000.09	4999.94	3438328
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	? (TO)	5000.09	4999.95	3439788
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	5000.09	4999.98	3439203
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	? (TO)	5000.09	5000.13	3438573
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	? (TO)	5000.09	4999.93	3438568
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	5000.09	4999.94	3439393
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	5000.1	4999.95	3438593
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	? (TO)	5000.1	5000.02	3439578
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	5000.1	5000.03	3439238
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	5000.1	4999.97	3439543
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	5000.1	4999.92	3438688
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	5000.1	5000.13	3439318
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	5000.1	5000.03	3439313
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	5000.1	5000.15	3438548
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	5000.1	5000.11	3438668
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	? (TO)	5000.1	4999.96	3439258
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	5000.1	5000.05	3438583
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	5000.1	5000.17	3439793
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	5000.1	4999.99	3438878
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	5000.1	4999.93	3439283
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	5000.11	5000	3438358
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	? (TO)	5000.11	4999.99	3439478
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	5000.11	4999.99	3439103
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	5000.11	4999.99	3439078
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	5000.11	4999.99	3439043
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	5000.11	5000.14	3438418
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	? (TO)	5000.11	4999.96	3439418
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	5000.11	5000	3439173
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	5000.11	4999.97	3439698
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	? (TO)	5000.11	5000.02	3439568
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	5000.11	5000.02	3438978
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	? (TO)	5000.11	4999.96	3439333
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	? (TO)	5000.12	4999.99	3439428
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	5000.12	4999.97	3439068
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	5000.12	5000.06	3439268
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	? (TO)	5000.12	5000.13	3438518
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	5000.12	5000.02	3438653
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	5000.12	4999.99	3439218
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	5000.12	5000.08	3439303
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	5000.12	5000.04	3438588
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	5000.12	4999.93	3438423
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	5000.12	5000.56	3438443
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	5000.12	4999.94	3438468
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	5000.12	4999.95	3438473
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	? (TO)	5000.12	5000.04	3439688
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	5000.12	5000.04	3439038
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	5000.13	4999.95	3439773
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	5000.13	4999.98	3439198
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	5000.13	4999.98	3439263
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	5000.13	4999.93	3439328
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	5000.13	5000.05	3439808
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	5000.13	5000.06	3439308
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	5000.13	4999.98	3439058
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	? (TO)	5000.13	4999.99	3439483
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	5000.14	5000.05	3438373
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	5000.14	4999.99	3439178
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	5000.14	5000.07	3439718
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	? (TO)	5000.14	5000.06	3439098
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	5000.14	4999.95	3438463
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	5000.14	5000.07	3439683
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	5000.14	5000.02	3439083
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	5000.14	4999.95	3439778
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	5000.14	5000.02	3439193
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	5000.14	5000.02	3439188
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	? (TO)	5000.15	5000	3439488
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	5000.15	5000.04	3438748
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	5000.15	5000.07	3439538
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	5000.15	5000.07	3439803
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	5000.15	4999.95	3438348
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	? (TO)	5000.15	5000.1	3439463
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	5000.15	5000.15	3438488
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	5000.15	5000.06	3439243
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	5000.15	5000.04	3439508
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	5000.15	5000.36	3439233
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	5000.16	5000.04	3438673
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	5000.16	5000.04	3438643
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	5000.16	5000.08	3439448
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (TO)	5000.17	5000.04	3439453
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	5000.17	5000.06	3438648
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	5000.17	5000.13	3439048
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	5000.17	5000.02	3439053
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	? (TO)	5000.17	5000.03	3439063
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	5000.17	5000.09	3438913
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	5000.18	5000.02	3438658
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	5000.18	5000.18	3439443
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	? (TO)	5000.18	5000	3439473
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	5000.18	5000.16	3439628
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	5000.19	5000.02	3438663
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	5000.19	5000.04	3438843
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	? (TO)	5000.19	5000.11	3439458
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	5000.19	5000.09	3439208
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	? (TO)	5000.2	5000.01	3439468
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	? (TO)	5000.2	5000.12	3439643
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	5000.21	5000.06	3439348
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	? (TO)	5000.21	5000.06	3439358
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	5000.21	5000.08	3438788
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	5000.22	5000.08	3438703
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	5000.23	5000.08	3438823
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	5000.23	5000.08	3438783
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	5000.23	5000.1	3439353
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	5000.23	5000.08	3438718
crafted/spence/ hard/s113-100.cnf	? (TO)	5000.23	5000.05	3438313
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	5000.24	5000.11	3438808
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	? (TO)	5000.24	5000.27	3439343
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	5000.24	5000.04	3438638
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	5000.25	5000.15	3438623
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	5000.25	5000.16	3438753
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	5000.26	5000.13	3439548
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	5000.26	5000.19	3438678
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	? (TO)	5000.26	5000.06	3439633
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	5000.26	5000.19	3438833
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	5000.29	5000.15	3438813
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	5000.31	5000.21	3438708
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	5000.32	5000.21	3438758
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	5000.33	5000.15	3438773
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	5000.34	5000.35	3438738
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	5000.4	5000.44	3439658

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

Result page for solver SApperloT2010 2011-05-15 (fixed) (complete)

Category "crafted instances" (CRAFTED)

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

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

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