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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	UNSAT	3.00954	0.886942	3499631
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	3.66844	0.92664	3499405
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	3.82142	0.972034	3499421
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	6.76997	1.74309	3499659
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	7.39987	1.9904	3499617
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	8.35373	2.11082	3499397
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	9.02663	2.26813	3499621
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	9.07062	2.28712	3499567
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	UNSAT	9.31858	2.35877	3499375
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	UNSAT	9.8675	2.55215	3499633
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3500_3500_30f1.shuffled.cnf	UNSAT	11.0083	2.7648	3499667
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	15.2357	3.82957	3499569
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	74.6426	18.7114	3499413
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	117.353	29.375	3499663
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	291.861	73.04	3499685
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	347.996	87.0657	3499687
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	530.69	132.693	3499669
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	UNSAT	1759.95	440.036	3499409
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	UNSAT	2385.39	596.388	3499657
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	3652.18	913.355	3499475
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	4087.89	1022.32	3499467
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	UNSAT	6060.27	1515.08	3499373
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	6840.86	1710.24	3499505
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	UNSAT	8430.92	2107.93	3499523
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	UNSAT	11012	2753.1	3499381
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	UNSAT	12662.7	3165.81	3499553
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	UNSAT	15585.3	3896.66	3499161
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	UNSAT	16115.2	4028.93	3499529
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	UNSAT	17671.6	4418.08	3499473
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	UNSAT	18544.3	4636.1	3499477
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	19453.2	4863.31	3499565

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	1.24281	0.393019	3499661
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	1.3048	0.353202	3499653
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	2.02669	0.518437	3499427
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	2.06569	0.563576	3499585
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	2.75958	0.767636	3499165
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	3.09353	0.795829	3499431
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	3.17752	0.831709	3499425
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	3.52846	0.914872	3499359
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	3.53746	0.912469	3499401
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	3.9274	1.05391	3499153
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	4.00039	1.01777	3499393
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	4.15737	1.13245	3499331
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	4.73628	1.21108	3499337
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	4.81327	1.37021	3499325
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	5.79712	1.50694	3499415
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	5.80212	1.51294	3499327
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	5.83511	1.47538	3499355
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	5.96209	1.50821	3499293
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	6.04508	1.63178	3499305
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	6.20206	1.75781	3499641
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	6.23405	1.5838	3499433
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	6.24105	1.63131	3499347
crafted/mosoi/289/ 289-unsat-6x30.cnf	SAT	6.44402	1.68193	3499309
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	6.62999	1.73016	3499361
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	6.83196	1.73864	3499311
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	7.17291	1.88693	3499313
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	SAT	7.2489	1.86278	3499369
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	9.16461	2.344	3499351
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	9.8635	2.52104	3499341
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	10.4944	2.8002	3499317
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	10.8184	2.7189	3499339
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	18.3762	4.6496	3499581
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	21.4647	5.41426	3499711
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	SAT	21.6647	5.42732	3499613
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	63.8563	15.9816	3499583
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	66.09	16.5343	3499665
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	111.82	27.9886	3499387
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	117.119	29.311	3499379
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	131.077	32.847	3499365
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	SAT	162.857	40.7947	3499689
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	174.037	43.5461	3499449
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	205.975	51.5287	3499363
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	SAT	322.557	80.7289	3499389
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	367.786	92.025	3499697
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	SAT	489.639	122.489	3499725
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	508.856	127.307	3499177
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	559.497	139.948	3499185
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	849.946	213.191	3499157
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	921.509	230.415	3499595
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	999.394	249.915	3499457
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	SAT	1097.12	274.425	3499713
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	SAT	1199.93	300.316	3499395
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	SAT	1317.05	329.375	3499733
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	SAT	1320.46	330.26	3499715
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	SAT	1450.72	362.794	3499555
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	SAT	2355.43	588.911	3499479
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	SAT	2688.46	672.147	3499265
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	SAT	3057.75	764.476	3499609
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	SAT	3189.69	797.637	3499735
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT	4099.55	1025.15	3499259
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	4306.41	1076.72	3499383
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	SAT	5350.57	1337.77	3499487
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	5914.74	1478.72	3499299
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	SAT	5977.81	1494.47	3499611
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	6374.27	1593.7	3499147
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	6627.22	1656.93	3499465
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	7001.74	1750.93	3499261
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	7061.16	1765.41	3499263
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	SAT	7475.27	1868.94	3499171
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	SAT	10428	2607.06	3499417
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	SAT	11990.9	2997.84	3499173
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	SAT	16190.7	4047.7	3499199
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	SAT	17495.4	4373.97	3499183

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	20370.3	5100.02	3499149
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	20382.1	5100.02	3499385
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	20382.9	5100.02	3499371
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	20384.9	5100.02	3499637
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	20386.9	5100.02	3499151
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	20388.9	5100.02	3499319
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	20390.8	5100.02	3499315
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	20391.3	5100.02	3499357
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	20391.7	5100.02	3499321
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	20394.7	5100.02	3499333
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	20394.8	5100.02	3499345
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	20395.4	5100.02	3499719
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	20395.5	5100.02	3499349
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	20395.5	5100.02	3499353
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	20395.6	5100.02	3499723
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	20396.1	5100.02	3499443
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	20396.5	5100.02	3499447
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	20396.6	5100.02	3499627
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	20397.1	5100.02	3499691
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	20397.2	5100.02	3499239
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	20397.4	5100.02	3499435
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	20397.4	5100.02	3499335
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	20397.4	5100.02	3499307
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	20397.4	5100.02	3499623
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	20397.5	5100.02	3499619
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	? (TO)	20397.6	5100.02	3499591
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	20397.7	5100.02	3499635
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	20397.8	5100.02	3499215
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	20397.8	5100.02	3499323
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	20397.9	5100.02	3499701
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	20398	5100.02	3499693
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	20398.1	5100.02	3499231
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	20398.2	5100.02	3499213
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	20398.2	5100.02	3499253
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	? (TO)	20398.2	5100.02	3499429
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	20398.3	5100.02	3499225
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	20398.3	5100.02	3499737
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	20398.3	5100.02	3499201
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	20398.3	5100.02	3499717
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	20398.4	5100.02	3499453
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	20398.5	5100.02	3499547
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	20398.5	5100.02	3499167
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	20398.6	5100.02	3499217
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	20398.7	5100.02	3499683
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	20398.7	5100.02	3499207
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	20398.7	5100.02	3499197
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	20398.8	5100.02	3499163
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	20398.8	5100.02	3499205
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	20398.8	5100.02	3499243
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	20398.8	5100.02	3499169
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	20398.8	5100.02	3499729
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	20398.9	5100.02	3499699
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	20398.9	5100.02	3499727
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	20398.9	5100.02	3499703
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	20398.9	5100.02	3499343
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	20399	5100.02	3499451
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	20399	5100.02	3499741
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	20399	5100.02	3499203
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	20399	5100.02	3499731
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	20399.1	5100.02	3499255
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	20399.1	5100.02	3499187
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	20399.1	5100.02	3499285
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	20399.2	5100.02	3499629
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	20399.2	5100.02	3499707
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	20399.2	5100.02	3499329
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	20399.2	5100.02	3499221
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	20399.2	5100.02	3499209
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	20399.2	5100.02	3499195
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	20399.2	5100.02	3499743
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	20399.2	5100.02	3499441
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	20399.3	5100.02	3499257
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	20399.3	5100.02	3499709
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	20399.3	5100.02	3499507
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	20399.4	5100.02	3499579
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	20399.4	5100.02	3499189
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	20399.4	5100.02	3499303
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	20399.4	5100.02	3499179
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	20399.4	5100.02	3499509
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	20399.4	5100.02	3499251
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	? (TO)	20399.5	5100.02	3499227
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	? (TO)	20399.5	5100.02	3499423
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	20399.5	5100.02	3499211
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	20399.5	5100.02	3499545
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	20399.5	5100.02	3499219
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	? (TO)	20399.6	5100.02	3499235
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	20399.6	5100.02	3499521
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	? (TO)	20399.6	5100.02	3499249
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	? (TO)	20399.6	5100.02	3499471
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	20399.6	5100.02	3499577
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	20399.7	5100.02	3499501
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	20399.7	5100.02	3499193
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	20399.7	5100.02	3499155
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	20399.7	5100.02	3499511
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	? (TO)	20399.7	5100.02	3499483
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	? (TO)	20399.7	5100.02	3499485
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	? (TO)	20399.7	5100.02	3499223
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	? (TO)	20399.7	5100.02	3499695
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (TO)	20399.8	5100.02	3499601
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	20399.8	5100.02	3499241
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	20399.8	5100.02	3499233
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	20399.8	5100.02	3499437
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	? (TO)	20399.8	5100.02	3499175
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	? (TO)	20399.8	5100.02	3499535
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	20399.8	5100.02	3499469
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	20399.8	5100.02	3499191
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	? (TO)	20399.8	5100.02	3499493
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	20399.8	5100.02	3499739
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	20399.8	5100.02	3499503
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	? (TO)	20399.9	5100.02	3499273
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	20399.9	5100.02	3499525
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	20399.9	5100.02	3499515
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	20399.9	5100.02	3499513
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	20399.9	5100.02	3499489
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	20399.9	5100.02	3499277
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	20399.9	5100.02	3499543
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	20399.9	5100.02	3499539
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	20399.9	5100.02	3499531
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	20399.9	5100.02	3499181
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	20399.9	5100.02	3499461
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	20400	5100.02	3499541
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	20400	5100.02	3499625
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	? (TO)	20400	5100.02	3499247
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	20400	5100.02	3499497
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	20400	5100.02	3499559
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	20400	5100.02	3499495
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	20400	5100.02	3499527
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	20400	5100.02	3499237
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	? (TO)	20400	5100.02	3499575
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	20400	5100.02	3499593
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	20400	5100.02	3499301
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	? (TO)	20400	5100.02	3499573
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	20400	5100.02	3499291
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	? (TO)	20400	5100.02	3499463
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	? (TO)	20400	5100.02	3499229
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	? (TO)	20400	5100.02	3499245
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	? (TO)	20400	5100.02	3499705
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	20400	5100.02	3499549
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	20400	5100.02	3499551
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	? (TO)	20400.1	5100.02	3499655
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	20400.1	5100.02	3499159
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	20400.1	5100.02	3499279
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	? (TO)	20400.1	5100.02	3499459
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	20400.1	5100.02	3499275
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	20400.1	5100.02	3499639
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	20400.1	5100.02	3499533
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	? (TO)	20400.1	5100.02	3499391
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	? (TO)	20400.1	5100.02	3499407
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	20400.1	5100.02	3499597
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	20400.1	5100.02	3499671
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	20400.1	5100.02	3499721
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	20400.1	5100.02	3499491
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	? (TO)	20400.1	5100.02	3499643
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	20400.2	5100.02	3499679
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	? (TO)	20400.2	5100.02	3499645
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	? (TO)	20400.2	5100.02	3499647
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	? (TO)	20400.2	5100.02	3499673
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	20400.2	5100.02	3499269
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	? (TO)	20400.2	5100.02	3499271
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	20400.2	5100.02	3499681
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	20400.2	5100.02	3499519
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	20400.2	5100.02	3499411
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	20400.2	5100.02	3499599
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	20400.3	5100.02	3499537
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	20400.3	5100.02	3499439
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	20400.3	5100.02	3499267
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	? (TO)	20400.3	5100.02	3499587
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	20400.3	5100.02	3499561
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	? (TO)	20400.3	5100.02	3499675
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	? (TO)	20400.3	5100.02	3499557
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	20400.3	5100.02	3499517
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	? (TO)	20400.3	5100.02	3499677
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	? (TO)	20400.3	5100.02	3499455
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	20400.3	5100.02	3499649
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	20400.3	5100.02	3499289
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	? (TO)	20400.3	5100.02	3499605
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	? (TO)	20400.3	5100.02	3499481
crafted/spence/ hard/s113-100.cnf	? (TO)	20400.3	5100.02	3499145
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	? (TO)	20400.4	5100.02	3499603
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	? (TO)	20400.4	5100.02	3499563
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	20400.4	5100.02	3499403
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	? (TO)	20400.4	5100.02	3499445
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	? (TO)	20400.4	5100.02	3499571
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	20400.4	5100.02	3499399
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	20400.4	5100.02	3499589
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	20400.4	5100.02	3499281
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	20400.4	5100.02	3499283
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	? (TO)	20400.5	5100.02	3499615
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	20400.5	5100.02	3499287
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	20400.5	5100.02	3499499
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	? (TO)	20400.5	5100.02	3499607
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	20400.5	5100.02	3499295
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	20400.5	5100.02	3499419
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	? (TO)	20400.6	5100.02	3499651
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	20400.7	5100.02	3499297

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (exit code)	13.4889	3.49547	3499367
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	? (exit code)	13.8459	3.59847	3499377

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

Result page for solver priss 1.0 (complete)

Category "crafted instances" (CRAFTED)

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

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

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

Solver didn't output a solution line and terminated with an unexpected exit code (2 runs) [Show/Hide]