SAT 2011 Competition: main competition (phase 1): 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.00665894	3300358
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.041992	0.0473509	3300366
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	0.233963	0.234069	3300367
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	0.39294	0.394931	3300360
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.422935	0.423965	3300365
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	UNSAT	0.441931	0.443051	3300363
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	0.542916	0.550045	3300362
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	0.953854	0.953335	3300364
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	1.61076	1.61198	3300361
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	2.19867	2.19923	3300368
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	2.26765	2.26835	3300359
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	19.618	19.6169	3300486
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	UNSAT	24.2713	24.2724	3300503
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	27.7448	27.747	3300479
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	38.7221	38.726	3300491
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	60.0609	60.0597	3300493
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	63.1814	63.1829	3300494
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	64.9781	64.9799	3300504
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	UNSAT	107.624	107.622	3300502
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	137.471	137.466	3300481
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	UNSAT	152.342	152.341	3300500
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	UNSAT	155.313	155.31	3300487
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	UNSAT	157.607	157.604	3300490
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	UNSAT	193.51	193.507	3300495
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	UNSAT	198.825	198.829	3300496
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	UNSAT	220.275	220.268	3300488
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	UNSAT	245.144	245.146	3300501
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	250.009	250.005	3300483
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	UNSAT	364.482	364.472	3300492
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	UNSAT	455.087	455.078	3300489
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	UNSAT	725.544	725.526	3300497
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	UNSAT	947.499	947.457	3300406
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	UNSAT	1030.8	1030.77	3300498
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	UNSAT	1088.37	1088.34	3300499
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	UNSAT	1195.97	1195.93	3300427
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	UNSAT	1234.33	1234.3	3300428
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	UNSAT	1238.06	1238.02	3300429

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.002998	0.00616311	3300355
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.003999	0.00672196	3300340
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.006998	0.00785204	3300341
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.006998	0.00765297	3300342
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.008997	0.00849	3300343
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	0.011997	0.0129229	3300357
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.011998	0.0119559	3300344
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.011998	0.0129411	3300332
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.013997	0.0140679	3300345
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.020995	0.0251891	3300338
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.022995	0.023616	3300336
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.032994	0.0332469	3300339
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.034994	0.036171	3300356
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.062989	0.0638071	3300346
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.086986	0.0874141	3300349
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.092985	0.093758	3300347
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.095984	0.0974001	3300348
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.102983	0.10369	3300350
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.107982	0.11144	3300351
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.133978	0.138619	3300352
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	0.316951	0.318395	3300353
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	0.376942	0.379427	3300354
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	0.491924	0.492007	3300333
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	0.605907	0.607222	3300337
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	2.86656	2.86727	3300334
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	5.75512	5.75447	3300451
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	6.40702	6.41491	3300335
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	6.71198	6.71285	3300447
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	9.02263	9.02568	3300443
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	9.43157	9.43253	3300568
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	10.6614	10.665	3300471
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	12.2401	12.2439	3300445
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	15.9236	15.9268	3300466
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	16.3245	16.3259	3300458
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	17.3874	17.388	3300468
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	31.3652	31.3697	3300472
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	31.8582	31.8591	3300467
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	35.8615	35.8629	3300460
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	42.6715	42.677	3300448
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT	43.0175	43.0253	3300386
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	46.9549	46.9563	3300453
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	SAT	48.8416	48.848	3300457
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	92.374	92.3803	3300571
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	125.009	125.008	3300459
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	132.682	132.687	3300469
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	SAT	143.712	143.71	3300465
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	147.709	147.706	3300474
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	152.765	153.49	3300440
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	152.922	152.919	3300470
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	SAT	153.794	153.792	3300378
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	156.615	156.611	3300473
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	SAT	173.141	173.146	3300382
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	SAT	205.916	205.91	3300454
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	214.081	214.079	3300384
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	303.424	303.423	3300444
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	SAT	391.548	391.543	3300461
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	SAT	395.002	394.987	3300441
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	SAT	402.443	402.428	3300377
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	SAT	435.546	435.535	3300388
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	SAT	442.908	442.897	3300554
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	SAT	506.985	506.98	3300452
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	SAT	554.846	554.833	3300456
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	SAT	583.652	583.642	3300450
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	SAT	701.975	701.991	3300398
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	SAT	1038.06	1038.03	3300376
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	SAT	1051.48	1051.46	3300394
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	SAT	1158.86	1158.82	3300385
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	1211.91	1211.88	3300449

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	1299.51	1300.01	3300423
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1299.92	1300.01	3300526
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	1299.92	1300.01	3300536
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	? (TO)	1299.95	1300.01	3300557
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	1299.96	1300.01	3300517
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	1299.96	1300.01	3300279
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	1299.96	1300.02	3300328
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	1299.96	1300.01	3300436
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	1299.97	1300.01	3300289
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	1299.97	1300.01	3300551
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	1299.97	1300.02	3300327
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	? (TO)	1299.98	1300.01	3300293
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	1299.98	1300.01	3300546
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	1299.98	1300.01	3300408
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	1299.98	1300.01	3300390
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	1299.98	1300.01	3300433
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	1299.98	1300.01	3300426
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1299.99	1300.01	3300524
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	1299.99	1300.01	3300561
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	1299.99	1300.01	3300567
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	1299.99	1300.01	3300318
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	1299.99	1300.01	3300404
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	1299.99	1300.01	3300520
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	1299.99	1300.01	3300425
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	? (TO)	1299.99	1300.01	3300379
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	? (TO)	1299.99	1300.01	3300399
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	1299.99	1300.01	3300545
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	? (TO)	1299.99	1300.01	3300370
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	1300	1300.01	3300415
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	1300	1300.01	3300409
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	? (TO)	1300.01	1300.01	3300381
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	1300.01	1300.01	3300312
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	1300.01	1300.01	3300507
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	1300.01	1300.01	3300435
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	? (TO)	1300.02	1300.01	3300392
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (TO)	1300.02	1300.01	3300442
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	? (TO)	1300.02	1300.01	3300462
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	1300.03	1300.01	3300283
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	1300.03	1300.01	3300550
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	1300.03	1300.01	3300331
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1300.03	1300.02	3300525
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1300.03	1300.01	3300548
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	1300.03	1300.01	3300291
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	? (TO)	1300.03	1300.01	3300437
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	1300.03	1300.01	3300549
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	? (TO)	1300.03	1300.01	3300374
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	1300.03	1300.01	3300538
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	1300.03	1300.01	3300534
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	1300.03	1300.01	3300560
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	1300.03	1300.01	3300547
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	? (TO)	1300.03	1300.01	3300446
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	? (TO)	1300.03	1300.01	3300371
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	1300.03	1300.01	3300542
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	1300.03	1300.01	3300541
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	? (TO)	1300.03	1300.01	3300464
crafted/spence/ hard/s113-100.cnf	? (TO)	1300.03	1300.01	3300430
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	? (TO)	1300.03	1300.01	3300380
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	1300.03	1300.01	3300424
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	1300.03	1300.01	3300295
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	1300.03	1300.01	3300516
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	? (TO)	1300.03	1300.01	3300373
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	1300.03	1300.01	3300515
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	1300.03	1300.01	3300294
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	1300.03	1300.01	3300330
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	1300.04	1300.01	3300396
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	1300.04	1300.01	3300275
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	1300.04	1300.01	3300290
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	1300.04	1300.01	3300285
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	1300.04	1300.01	3300439
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	? (TO)	1300.04	1300.01	3300369
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	1300.04	1300.01	3300505
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	? (TO)	1300.04	1300.01	3300375
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	1300.04	1300.01	3300287
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	1300.04	1300.01	3300273
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	1300.04	1300.01	3300286
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	? (TO)	1300.04	1300.01	3300280
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	1300.04	1300.01	3300277
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	1300.04	1300.01	3300281
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	1300.04	1300.01	3300274
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	? (TO)	1300.04	1300.01	3300455
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	1300.04	1300.01	3300514
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	? (TO)	1300.04	1300.01	3300421
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	1300.04	1300.01	3300405
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	? (TO)	1300.04	1300.01	3300416
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	1300.04	1300.01	3300509
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	1300.04	1300.01	3300413
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	? (TO)	1300.04	1300.01	3300417
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	1300.04	1300.01	3300304
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	? (TO)	1300.04	1300.01	3300463
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	1300.04	1300.01	3300296
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	1300.04	1300.01	3300297
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	1300.04	1300.02	3300299
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	1300.04	1300.01	3300309
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	? (TO)	1300.04	1300.01	3300477
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	? (TO)	1300.04	1300.01	3300476
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	? (TO)	1300.04	1300.01	3300372
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	? (TO)	1300.04	1300.01	3300418
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	1300.04	1300.01	3300411
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	1300.04	1300.01	3300329
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	? (TO)	1300.04	1300.01	3300478
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	? (TO)	1300.04	1300.01	3300403
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	1300.04	1300.01	3300314
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	1300.04	1300.02	3300324
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	1300.04	1300.01	3300311
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	1300.04	1300.01	3300572
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	1300.04	1300.01	3300570
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	1300.04	1300.01	3300562
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	1300.04	1300.01	3300559
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	? (TO)	1300.04	1300.01	3300558
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	1300.04	1300.01	3300531
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	1300.04	1300.01	3300533
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	1300.04	1300.01	3300532
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	? (TO)	1300.04	1300.01	3300389
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	1300.04	1300.01	3300537
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	1300.04	1300.01	3300544
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	1300.04	1300.01	3300540
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	1300.04	1300.01	3300434
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	? (TO)	1300.04	1300.01	3300397
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	? (TO)	1300.04	1300.01	3300400
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	1300.04	1300.01	3300553
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	1300.04	1300.01	3300552
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	? (TO)	1300.05	1300.01	3300402
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	1300.05	1300.01	3300301
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	1300.05	1300.01	3300320
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	1300.05	1300.01	3300278
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	1300.05	1300.01	3300316
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	? (TO)	1300.05	1300.01	3300401
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	1300.05	1300.01	3300484
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	1300.05	1300.01	3300298
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	1300.05	1300.01	3300513
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	? (TO)	1300.05	1300.01	3300485
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1300.05	1300.01	3300431
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	? (TO)	1300.05	1300.01	3300475
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	? (TO)	1300.05	1300.01	3300422
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	1300.05	1300.01	3300519
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	1300.05	1300.01	3300518
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	1300.05	1300.01	3300303
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	1300.05	1300.01	3300412
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	1300.05	1300.01	3300506
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	1300.05	1300.01	3300438
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	? (TO)	1300.05	1300.01	3300420
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	1300.05	1300.01	3300308
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	1300.05	1300.01	3300282
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	1300.05	1300.01	3300307
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	? (TO)	1300.05	1300.01	3300326
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	1300.05	1300.01	3300305
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	1300.05	1300.01	3300325
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	1300.05	1300.01	3300322
crafted/mosoi/289/ 289-unsat-6x30.cnf	? (TO)	1300.05	1300.01	3300310
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	1300.05	1300.01	3300306
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	1300.05	1300.01	3300569
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	1300.05	1300.01	3300302
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	1300.05	1300.01	3300566
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	1300.05	1300.01	3300565
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	1300.05	1300.01	3300564
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	1300.05	1300.01	3300563
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	1300.05	1300.01	3300482
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	1300.05	1300.02	3300512
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	1300.05	1300.01	3300414
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	1300.05	1300.01	3300556
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	1300.05	1300.01	3300555
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	? (TO)	1300.05	1300.01	3300276
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1300.05	1300.01	3300432
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	1300.05	1300.01	3300528
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	? (TO)	1300.05	1300.01	3300391
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	1300.05	1300.01	3300529
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	1300.05	1300.01	3300410
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	1300.05	1300.01	3300530
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	1300.05	1300.01	3300527
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	? (TO)	1300.05	1300.01	3300387
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	1300.05	1300.01	3300508
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	1300.05	1300.01	3300535
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	? (TO)	1300.05	1300.01	3300393
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	1300.05	1300.02	3300300
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	1300.06	1300.01	3300522
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	1300.06	1300.01	3300321
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	1300.06	1300.02	3300523
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	1300.06	1300.01	3300480
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	1300.06	1300.01	3300419
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	1300.06	1300.01	3300395
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	1300.06	1300.02	3300323
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1300.06	1300.01	3300539
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	1300.06	1300.01	3300383
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	1300.06	1300.01	3300511
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	1300.06	1300.01	3300543
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	1300.06	1300.01	3300317
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	1300.06	1300.01	3300521
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	1300.07	1300.01	3300313
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	1300.07	1300.01	3300315
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	1300.07	1300.01	3300407
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	1300.07	1300.01	3300319
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	1300.07	1300.02	3300292
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	1300.07	1300.01	3300284
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	1300.07	1300.01	3300288
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	1300.07	1300.01	3300510

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

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

Category "crafted instances" (CRAFTED)

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

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

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