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.005999	0.00987806	3423212
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.038994	0.0442991	3423081
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	0.233963	0.233572	3423089
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	UNSAT	0.372942	0.373642	3423194
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	0.391939	0.393479	3423162
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.421935	0.421887	3423208
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	0.484925	0.486632	3423189
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	0.950855	0.951165	3423187
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	1.62175	1.62192	3423163
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	2.20266	2.20218	3423077
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	2.27165	2.27223	3423213
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	19.57	19.5693	3423210
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	UNSAT	24.2703	24.2712	3423074
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	27.6668	27.6673	3423222
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	39.165	39.1636	3423131
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	59.7909	59.7895	3423112
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	63.2734	63.2771	3423116
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	64.7921	64.7935	3423085
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	UNSAT	107.087	107.086	3423083
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	136.802	136.8	3423221
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	UNSAT	150.824	150.822	3423065
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	UNSAT	154.832	154.829	3423207
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	UNSAT	157.252	157.249	3423106
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	UNSAT	178.147	178.142	3423117
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	UNSAT	182.7	182.705	3423115
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	UNSAT	219.938	219.94	3423206
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	UNSAT	244.278	244.272	3423069
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	249.728	249.722	3423161
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	UNSAT	364.876	364.863	3423125
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	UNSAT	452.04	452.027	3423201
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	UNSAT	718.06	718.044	3423119
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	UNSAT	917.673	917.643	3423146
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	UNSAT	937.639	937.62	3423120
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	UNSAT	1087.73	1087.81	3423066
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	UNSAT	1118.21	1118.19	3423204
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	UNSAT	1190.36	1190.36	3423202
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	UNSAT	1240.53	1240.51	3423200
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	UNSAT	1425.93	1425.88	3423160
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	UNSAT	1579.25	1579.21	3423080
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	UNSAT	1648.88	1648.83	3423203
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	UNSAT	1745.74	1745.76	3423154
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	UNSAT	2110.7	2110.62	3422959
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	UNSAT	2182.13	2182.18	3423153
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	UNSAT	2279.44	2279.35	3422958
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	UNSAT	2304	2303.92	3423151
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	UNSAT	2338.39	2338.42	3423137
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	UNSAT	2386.85	2386.9	3423155
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	UNSAT	2450.6	2450.57	3423143
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	UNSAT	2515.22	2515.28	3423110
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	UNSAT	2654.41	2654.43	3423109
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	UNSAT	2878.73	2878.65	3423157
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	UNSAT	2999.01	2998.91	3423147
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	UNSAT	3019.17	3019.07	3423145
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	UNSAT	3232.69	3232.63	3423129
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	UNSAT	3288.15	3288.05	3423138
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	UNSAT	3403.32	3403.21	3423135
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	UNSAT	3422.92	3422.91	3423172
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	UNSAT	3495.12	3495.07	3423144
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	UNSAT	3559.79	3559.68	3422969
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	UNSAT	3709.53	3709.44	3423136
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	UNSAT	4841.06	4840.84	3423152
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	UNSAT	4937.59	4937.54	3423173

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.002998	0.0182479	3423092
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.004998	0.0166531	3423034
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.007997	0.0187411	3423054
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.007998	0.0160281	3423049
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.008998	0.0169379	3423048
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.009998	0.018137	3423056
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	0.010998	0.01971	3423095
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.012997	0.012494	3423211
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.012998	0.016508	3423059
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.020995	0.021572	3423209
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.021995	0.0237629	3423205
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.033994	0.033742	3422961
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.034994	0.035649	3423075
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.063989	0.0641539	3423058
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.085986	0.087785	3423031
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.087986	0.0985431	3423047
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.096984	0.101005	3423041
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.100983	0.103118	3423044
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.106983	0.11234	3423042
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.134978	0.134449	3423035
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	0.316951	0.335895	3423052
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	0.375942	0.379014	3423037
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	0.491924	0.491545	3423171
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	0.552915	0.554451	3423199
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	2.88556	2.8872	3423170
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	5.72713	5.72795	3423234
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	6.41002	6.40993	3423169
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	6.44902	6.45046	3422971
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	8.59569	8.59715	3422955
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	9.45056	9.45603	3423025
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	10.6034	10.6053	3423079
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	12.0232	12.0227	3422957
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	15.9266	15.9281	3423068
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	16.2435	16.2445	3423103
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	17.4993	17.5002	3423070
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	28.8966	28.8965	3423091
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	32.864	32.8636	3423111
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	34.5228	34.5255	3423060
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT	40.4019	40.4019	3423008
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	42.4495	42.4495	3422967
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	42.5665	42.5659	3423227
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	SAT	47.5988	47.5984	3423223
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	90.5282	90.5258	3423028
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	118.801	118.8	3423061
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	125.082	125.08	3423107
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	SAT	143.32	143.316	3423063
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	148.238	148.248	3423086
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	152.598	152.606	3423176
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	SAT	153.203	153.203	3423184
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	154.252	154.249	3423072
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	156.533	156.531	3423094
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	SAT	173.21	173.21	3423181
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	SAT	202.869	202.864	3423245
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	213.748	213.74	3422952
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	279.049	279.042	3423009
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	SAT	388.098	388.089	3423118
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	SAT	394.413	394.407	3423183
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	SAT	402.362	402.355	3423185
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	SAT	431.243	431.23	3423002
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	SAT	443.15	443.178	3423011
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	SAT	478.135	478.124	3423231
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	SAT	545.606	545.588	3423235
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	SAT	578.031	578.014	3423241
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	SAT	687.246	687.237	3422964
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	SAT	940.841	940.827	3422978
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	SAT	1022.96	1022.93	3422956
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	SAT	1025.24	1025.22	3423166
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	1115.16	1115.15	3423010
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	SAT	1377.48	1377.43	3423014
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	SAT	1447.02	1446.98	3422966
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	SAT	1494.72	1494.67	3423216
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	SAT	1554.62	1554.59	3422975
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	SAT	1600.36	1600.3	3423114
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	SAT	1663.89	1663.84	3422970
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	SAT	1780.78	1780.77	3423121
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	SAT	2297.89	2297.92	3423122
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	SAT	2387.11	2387.13	3423164
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	SAT	2534.88	2534.79	3422988
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	SAT	3237.35	3237.26	3423236
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	SAT	3317.91	3317.83	3423001
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	SAT	3342.14	3342.02	3423226
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	SAT	3494.53	3494.57	3423186
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	SAT	3573.69	3573.62	3423165
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	SAT	3892	3891.9	3423182
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	SAT	3962.38	3962.29	3423180
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	SAT	4657.27	4657.16	3422990
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	SAT	4713.39	4713.28	3423015

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	? (TO)	5000.03	4999.92	3423082
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	5000.03	4999.92	3423018
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	5000.03	4999.92	3422973
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	5000.03	5000.03	3423055
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	5000.03	4999.92	3423175
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	5000.03	4999.92	3423021
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	5000.03	4999.92	3423024
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	? (TO)	5000.03	4999.92	3423101
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	5000.04	4999.93	3422984
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	? (TO)	5000.04	4999.92	3423093
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	5000.04	4999.92	3422982
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	5000.04	4999.93	3423230
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	5000.04	4999.92	3423191
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	? (TO)	5000.04	4999.92	3423067
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	5000.04	4999.92	3423220
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	5000.04	4999.93	3422974
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	5000.04	5000.02	3422976
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	5000.04	4999.93	3423192
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	5000.04	4999.92	3423198
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	5000.04	4999.93	3423038
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	5000.04	4999.93	3422991
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	5000.04	4999.92	3423142
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	5000.04	4999.93	3422985
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	5000.04	4999.92	3423159
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	? (TO)	5000.05	4999.93	3423195
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	? (TO)	5000.05	4999.92	3422965
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	5000.05	4999.82	3422995
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	5000.05	4999.93	3422981
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	5000.05	4999.92	3422983
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	? (TO)	5000.05	4999.92	3422993
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	5000.05	4999.92	3422994
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	5000.05	5000.12	3423128
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	5000.05	4999.94	3423096
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	? (TO)	5000.05	4999.92	3423090
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	5000.05	4999.93	3423100
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	? (TO)	5000.05	4999.92	3423087
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	5000.05	4999.93	3423105
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	5000.06	4999.92	3423017
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	5000.06	4999.92	3423019
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	5000.06	4999.93	3423237
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	5000.06	4999.93	3423239
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	5000.06	4999.83	3422987
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	5000.06	4999.82	3422986
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	5000.06	4999.93	3423250
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	5000.06	5000.02	3423104
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	? (TO)	5000.06	4999.92	3423073
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	5000.06	4999.92	3423012
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	5000.06	4999.93	3423248
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	5000.06	5000.02	3423000
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	5000.06	4999.83	3423099
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	5000.06	4999.82	3423098
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	5000.06	4999.93	3423040
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	5000.06	5000.12	3422960
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	5000.06	4999.91	3423214
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	5000.06	5000.02	3422972
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	5000.06	4999.83	3423190
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	5000.06	4999.93	3422968
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (TO)	5000.06	5000.12	3423179
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	? (TO)	5000.07	4999.92	3423108
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	5000.07	5000.03	3423178
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	5000.07	4999.92	3423102
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	5000.07	4999.92	3423197
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	5000.07	4999.93	3423167
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	5000.07	4999.93	3423168
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	5000.07	4999.93	3422962
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	5000.07	4999.92	3423158
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	5000.07	4999.93	3423242
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	5000.07	5000.03	3423196
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	? (TO)	5000.07	4999.91	3423215
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	5000.07	4999.93	3423071
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	5000.07	4999.93	3423243
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	5000.07	4999.93	3423036
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	5000.07	4999.93	3423039
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	5000.07	4999.93	3423139
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	? (TO)	5000.07	4999.92	3423246
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	5000.07	5000.03	3423249
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	5000.07	4999.92	3423132
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	5000.07	4999.92	3423013
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	5000.07	4999.92	3423193
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	5000.08	4999.92	3423023
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	5000.08	4999.93	3423233
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	5000.08	4999.92	3423148
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	5000.08	5000.03	3423133
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	5000.08	4999.92	3423124
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	5000.08	4999.92	3423123
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	? (TO)	5000.08	5000.13	3423076
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	5000.08	5000.03	3423046
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	5000.08	4999.92	3423030
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	5000.08	4999.92	3423020
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	5000.08	5000.02	3423016
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	5000.08	4999.93	3422980
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	5000.09	5000.03	3422979
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	5000.09	4999.93	3423032
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	5000.09	4999.91	3422999
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	? (TO)	5000.09	5000.12	3423140
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	5000.09	4999.94	3422953
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	5000.09	4999.93	3422954
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	5000.09	4999.91	3423113
crafted/mosoi/289/ 289-unsat-6x30.cnf	? (TO)	5000.09	4999.92	3423033
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	5000.09	4999.93	3423240
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	5000.09	4999.92	3423051
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	5000.09	5000.03	3423238
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	5000.09	4999.93	3423057
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	5000.09	4999.94	3423064
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	5000.1	5000.02	3423097
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	5000.1	5000.03	3423043
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	5000.1	5000.03	3423045
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	5000.1	4999.92	3423050
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	5000.1	5000.02	3423005
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	5000.1	5000.02	3423006
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	5000.1	4999.93	3423134
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	5000.1	5000.02	3423141
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	? (TO)	5000.1	5000.02	3422992
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	5000.1	4999.93	3422989
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	5000.1	5000.12	3423149
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	5000.1	5000.03	3423177
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	5000.1	4999.93	3423188
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	? (TO)	5000.1	5000.02	3423217
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	5000.1	5000.02	3423218
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	5000.1	5000.12	3423219
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	5000.1	5000.03	3423228
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	5000.1	4999.93	3423229
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	5000.1	5000.02	3423004
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	? (TO)	5000.1	5000.02	3423003
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	5000.1	5000.02	3423027
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	5000.1	5000.02	3423026
crafted/spence/ hard/s113-100.cnf	? (TO)	5000.11	4999.92	3422951
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	5000.11	4999.93	3422998
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	5000.11	4999.93	3423224
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	5000.11	5000.02	3423084
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	5000.11	4999.92	3423078
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	5000.11	5000.03	3423007
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	5000.11	4999.93	3423053
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	5000.11	5000.02	3423029
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	5000.11	5000.03	3423247
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	5000.11	5000.02	3423127
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	5000.11	4999.92	3422963
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	? (TO)	5000.11	4999.92	3423174
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	5000.11	5000.02	3423244
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	5000.11	4999.93	3422997
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	5000.12	4999.93	3423130
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	5000.12	4999.93	3423126
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	5000.12	5000.02	3423088
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	5000.12	5000.02	3423232
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	5000.12	4999.92	3423022
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	? (TO)	5000.12	4999.92	3422996
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	? (TO)	5000.12	5000.02	3423156
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	5000.13	5000.03	3423062
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	5000.13	5000.02	3422977
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	5000.13	5000.02	3423150
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	5000.14	5000.03	3423225

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

Result page for solver clasp 2.0-R4092-crafted (complete)

Category "crafted instances" (CRAFTED)

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

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

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