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.005998	0.00631305	3276228
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.033993	0.034251	3275573
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	0.229965	0.229826	3275613
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	0.395939	0.396771	3276113
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	UNSAT	0.400938	0.40192	3276138
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.564913	0.565297	3276208
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	1.18082	1.18099	3275978
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	1.41478	1.4152	3276103
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	1.90371	1.90489	3275553
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	2.31365	2.31442	3276233
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	3.65444	3.65396	3275983
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	21.2278	21.2274	3276218
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	UNSAT	32.1291	32.128	3275538
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	43.3864	43.3848	3275823
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	69.9014	69.8979	3275728
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	74.7916	74.792	3275748
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	88.2316	88.23	3275593
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	UNSAT	115.86	115.858	3275583
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	UNSAT	133.148	133.145	3276203
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	153.963	153.96	3276278
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	UNSAT	172.925	172.923	3275698
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	UNSAT	188.068	188.067	3275753
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	UNSAT	194.484	194.482	3275743
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	UNSAT	231.847	231.855	3275493
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	UNSAT	319.88	319.873	3275513
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	UNSAT	328.756	328.748	3276198
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	349.052	349.049	3275973
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	UNSAT	376.407	376.394	3275793
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	UNSAT	524.777	524.769	3276173
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	668.533	668.521	3276273
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	UNSAT	698.091	698.064	3275763
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	UNSAT	893.472	893.456	3275768
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	UNSAT	1121.82	1121.79	3275898
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	UNSAT	1222.87	1222.83	3276168
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	UNSAT	1240.12	1240.09	3276188
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	UNSAT	1341.56	1341.53	3276178
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	UNSAT	1611.88	1611.85	3275968
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	UNSAT	1783.65	1783.6	3274963
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	UNSAT	1801.9	1801.87	3275853
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	UNSAT	2016.97	2016.91	3276183
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	UNSAT	2027.29	2027.24	3274958
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	UNSAT	2105.99	2105.93	3275883
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	UNSAT	2302.28	2302.24	3275943
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	UNSAT	2346.87	2346.81	3275498
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	UNSAT	2420.91	2420.87	3275938
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	UNSAT	2487.24	2487.17	3275718
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	UNSAT	2519.64	2519.61	3275568
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	UNSAT	2664.72	2664.65	3275713
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	UNSAT	2703.76	2703.69	3275953
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	UNSAT	2790.3	2790.24	3275933
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	UNSAT	2907.76	2907.69	3276028
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	UNSAT	2995.66	2995.57	3275923
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	UNSAT	3153.33	3153.3	3275893
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	UNSAT	3161.18	3161.04	3275843
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	UNSAT	3212.64	3212.54	3275813
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	UNSAT	3483.8	3483.7	3275903
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	UNSAT	3761.2	3761.14	3275858
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	UNSAT	3885.47	3885.38	3275873
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	UNSAT	4047	4046.89	3275908
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	UNSAT	4173.5	4173.4	3275928
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	UNSAT	4286.18	4286.11	3275888
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	UNSAT	4508	4507.85	3275013
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	UNSAT	4697.32	4697.18	3275143
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	UNSAT	4759.42	4759.29	3276033

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.003999	0.0061511	3275338
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.006998	0.00961308	3275408
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.007998	0.00879106	3275438
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.007998	0.00790497	3275413
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.010998	0.0126931	3275448
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.014996	0.0150939	3275463
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.019996	0.020519	3276223
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.021996	0.0232099	3276213
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.027995	0.028794	3276193
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.046992	0.0478831	3274973
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.077987	0.0787751	3275458
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.108982	0.109615	3275403
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.117981	0.117941	3275628
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.122981	0.12384	3275373
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.12698	0.126811	3275388
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.127979	0.128354	3275323
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.133979	0.134352	3275378
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.171973	0.172963	3275343
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	0.400938	0.401096	3275428
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	0.427934	0.428409	3276163
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	0.504922	0.504912	3275353
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	0.886864	0.889541	3276023
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	1.20382	1.20415	3275643
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	1.40579	1.40614	3276018
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	1.52377	1.52452	3274943
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	2.97655	2.97665	3276013
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	6.14306	6.14316	3276338
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	7.74882	7.74953	3275543
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	8.19075	8.18985	3275703
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	12.973	12.9752	3275293
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	15.7266	15.7264	3275468
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	18.9111	18.9108	3274953
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	28.0507	28.0511	3275518
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	SAT	30.0194	30.0198	3276323
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	36.4485	36.4481	3275528
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	39.468	39.4668	3275623
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	SAT	49.6484	49.6479	3276283
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	70.4093	70.4082	3275023
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	74.4247	74.4273	3275508
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	77.0893	77.0887	3275563
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	80.4738	80.4726	3275003
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	92.117	92.1192	3275473
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	105.002	105	3275308
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	137.048	137.045	3275683
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	SAT	151.68	151.677	3276393
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	177.933	177.928	3276303
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	SAT	212.748	212.746	3275778
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	SAT	221.585	221.584	3275223
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	SAT	300.028	300.023	3276343
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	352.28	352.275	3276048
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	358.815	358.808	3275598
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	618.746	618.744	3275723
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	SAT	625.726	625.698	3275758
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	SAT	732.878	732.853	3276373
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	SAT	886.246	886.227	3275773
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	SAT	938.346	938.314	3276083
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	SAT	1028.06	1028.04	3275238
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	SAT	1099.2	1099.17	3275128
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	1170.95	1170.92	3275218
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	1291.71	1291.68	3275213
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	SAT	1424.66	1424.63	3275058
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	SAT	1447.21	1447.18	3274998
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT	1563	1562.95	3275208
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	SAT	1598.65	1598.61	3274988
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	SAT	1648.23	1648.17	3276088
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	SAT	1716.33	1716.28	3275483
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	SAT	1737.43	1737.39	3275998
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	SAT	1930.72	1930.67	3275178
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	SAT	2024.3	2024.25	3275148
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	SAT	2214.5	2214.44	3275183
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	SAT	2302.81	2302.76	3276248
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	SAT	2493.84	2493.79	3276348
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	SAT	2670.77	2670.71	3275173
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	SAT	2673.69	2673.63	3276068
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	SAT	2901.41	2901.34	3275118
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	SAT	2944.06	2943.98	3274993
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	2946.17	2946.08	3274928
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	SAT	3112.66	3112.59	3276093
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	SAT	3382.81	3382.73	3275993
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	SAT	3824.28	3824.18	3275988
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	SAT	4021.13	4021.02	3275108
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	SAT	4047.86	4047.76	3276098
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	SAT	4276.94	4276.84	3275078
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	SAT	4375.33	4375.22	3276073
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	SAT	4914.62	4914.51	3275948

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	5000.02	4999.91	3276268
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	? (TO)	5000.02	4999.91	3275243
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (TO)	5000.02	4999.91	3276063
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	5000.02	4999.91	3275658
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	? (TO)	5000.02	4999.91	3275633
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	5000.03	4999.91	3275303
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	? (TO)	5000.03	4999.91	3275503
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	? (TO)	5000.03	4999.91	3276038
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	5000.03	4999.92	3276008
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	5000.03	4999.92	3276003
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	5000.03	4999.91	3275878
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	? (TO)	5000.03	4999.91	3275868
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	? (TO)	5000.03	4999.92	3276298
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	5000.03	4999.91	3275803
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	5000.03	4999.91	3275688
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	5000.03	4999.91	3276258
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	5000.03	4999.91	3275153
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	5000.03	4999.91	3274968
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	5000.03	4999.92	3275188
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	? (TO)	5000.03	4999.91	3276253
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	5000.03	4999.91	3275228
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	? (TO)	5000.03	4999.91	3276243
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	5000.03	4999.91	3276238
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	5000.03	4999.92	3275038
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	5000.03	4999.91	3275283
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	5000.03	4999.91	3276123
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	5000.03	4999.91	3275298
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	5000.03	4999.92	3275348
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	5000.03	4999.91	3276058
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	5000.03	4999.91	3276043
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	5000.04	4999.92	3275168
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	5000.04	4999.92	3276408
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	5000.04	4999.92	3276108
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	5000.04	4999.91	3275263
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	5000.04	4999.91	3275268
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	? (TO)	5000.04	5000.02	3276143
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	5000.04	4999.91	3275913
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	5000.04	4999.92	3275088
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	5000.04	4999.93	3275488
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	5000.04	4999.81	3275848
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	5000.04	4999.92	3275423
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	5000.04	4999.92	3275663
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	5000.04	4999.92	3275073
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	5000.04	4999.91	3275313
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	5000.04	4999.92	3275138
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	5000.04	4999.92	3275328
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	5000.04	4999.92	3275198
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	5000.04	4999.92	3275203
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	5000.04	4999.92	3274983
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	5000.04	4999.93	3275523
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	5000.04	4999.92	3275368
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	5000.05	4999.92	3276118
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	5000.05	4999.82	3275398
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	5000.05	4999.93	3276333
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	5000.05	4999.92	3275103
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	5000.05	4999.91	3275233
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	? (TO)	5000.05	5000.11	3275018
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	5000.05	4999.92	3275123
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	5000.05	4999.94	3276328
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	5000.05	4999.92	3275063
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	5000.05	4999.92	3274978
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	5000.05	4999.93	3276418
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	? (TO)	5000.05	4999.92	3275548
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	5000.05	4999.91	3275278
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	5000.05	4999.91	3275788
crafted/spence/ hard/s113-100.cnf	? (TO)	5000.06	4999.91	3274923
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	5000.06	4999.93	3274938
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	5000.06	4999.92	3274948
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	5000.06	4999.92	3275028
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	5000.06	4999.91	3275033
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	5000.06	4999.91	3275043
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	5000.06	4999.92	3275053
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	5000.06	4999.92	3275068
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	5000.06	4999.92	3275113
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	5000.06	4999.92	3275158
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	5000.06	4999.91	3275163
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	5000.06	4999.91	3275258
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	5000.06	4999.91	3275318
crafted/mosoi/289/ 289-unsat-6x30.cnf	? (TO)	5000.06	4999.91	3275333
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	5000.06	4999.94	3275363
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	5000.06	4999.82	3275393
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	5000.06	4999.93	3275433
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	5000.06	4999.91	3275478
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	5000.06	5000.01	3275588
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	? (TO)	5000.06	4999.91	3275603
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	5000.06	4999.91	3275653
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	? (TO)	5000.06	5000.01	3275673
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	? (TO)	5000.06	4999.91	3275738
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	5000.06	4999.91	3275808
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	5000.06	4999.91	3275918
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	5000.06	4999.91	3275958
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	5000.06	5000.01	3276053
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	5000.06	4999.94	3276413
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	5000.07	4999.93	3275358
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	5000.07	4999.91	3276128
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	5000.07	4999.91	3276133
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	5000.07	4999.91	3275273
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	5000.07	4999.91	3275248
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	5000.07	4999.91	3275253
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	5000.07	4999.92	3275863
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	? (TO)	5000.07	4999.91	3275708
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	5000.07	4999.94	3276388
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	5000.07	4999.92	3275048
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	5000.07	4999.94	3274933
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	5000.07	4999.91	3275733
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	5000.07	4999.91	3275288
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	5000.08	4999.92	3275383
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	5000.08	5000.01	3275798
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	? (TO)	5000.08	5000.01	3275578
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	? (TO)	5000.08	4999.91	3275133
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	5000.08	5000.02	3275193
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	5000.08	4999.92	3275693
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	5000.08	4999.92	3275418
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	5000.08	4999.92	3275083
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	5000.08	4999.91	3275818
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	? (TO)	5000.08	4999.93	3276398
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	5000.08	4999.96	3275678
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	5000.08	4999.92	3275098
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	5000.09	5000.01	3275963
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	5000.09	4999.96	3275668
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	5000.09	5000.01	3275828
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	? (TO)	5000.09	5000.01	3275638
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	? (TO)	5000.09	5000.01	3275618
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	5000.09	5000.01	3275608
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	5000.09	4999.92	3275008
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	5000.09	4999.92	3275443
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	5000.09	4999.91	3276263
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	5000.09	4999.94	3276293
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	5000.09	4999.92	3275093
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	5000.09	4999.95	3276308
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	5000.09	4999.93	3276318
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	? (TO)	5000.1	4999.91	3276078
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	5000.1	4999.94	3276353
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	5000.1	4999.91	3276158
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	5000.1	4999.91	3275783
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	5000.1	4999.91	3275558
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	5000.1	5000.02	3275833
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	5000.1	4999.94	3275453
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	5000.11	4999.93	3276363
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	? (TO)	5000.11	4999.91	3275533
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	5000.11	4999.96	3276358
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	5000.11	4999.94	3276378
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	5000.12	5000.04	3275648
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	5000.12	4999.94	3276153
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	5000.12	4999.93	3276383
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	5000.12	4999.95	3276403
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	5000.13	4999.98	3276313
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	5000.13	4999.93	3275838
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	5000.15	4999.97	3276148
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	5000.17	5000.08	3276288
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	5000.17	4999.98	3276368

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

Result page for solver SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)

Category "crafted instances" (CRAFTED)

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

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

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