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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	0.000999	0.00654604	3274657
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	0.000999	0.00631204	3274831
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	0.000999	0.006194	3274654
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	UNSAT	0.001999	0.00625491	3274828
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	0.001999	0.00636198	3274834
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.069989	0.070685	3274411
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3500_3500_30f1.shuffled.cnf	UNSAT	0.070989	0.0724139	3274804
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	0.131979	0.133681	3274435
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	0.485925	0.487662	3274735
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.860868	0.861966	3274792
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	UNSAT	0.865867	0.869474	3274822
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	4.37633	4.39439	3274807
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	UNSAT	5.42817	5.4307	3274750
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	5.58215	5.58464	3274729
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	8.03378	8.03497	3274399
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	UNSAT	19.3621	19.3723	3274753
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	59.466	59.4647	3274798
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	159.906	159.908	3274423
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	162.539	162.544	3274561
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	UNSAT	163.541	163.547	3274390
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	219.836	219.835	3274651
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	UNSAT	229.855	229.852	3274486
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	UNSAT	250.435	250.436	3274789
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	UNSAT	379.218	379.236	3274366
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	UNSAT	576.275	576.26	3274417
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	UNSAT	643.917	643.904	3274786
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	688.243	688.226	3274504
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	UNSAT	751.519	746.599	3273832
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	863.548	863.534	3274516
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	UNSAT	943.928	943.905	3274747
crafted/spence/ hard/s113-100.cnf	UNSAT	1157.06	1157.04	3273185

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	SAT	0.006998	0.00735906	3274705
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.007997	0.00805101	3274393
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.008998	0.0107409	3274270
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.016996	0.0175209	3274330
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.017996	0.01764	3274315
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.020996	0.022182	3274312
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.025995	0.0262451	3274336
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.029995	0.0312119	3274444
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	0.034994	0.035564	3274441
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.037993	0.0378441	3274345
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.166974	0.167937	3274261
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.170973	0.173611	3274342
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.172973	0.1755	3274273
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.19397	0.197836	3274294
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.197969	0.198383	3274783
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.203968	0.206725	3274291
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.215966	0.215905	3274309
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.242962	0.242536	3274300
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	0.249961	0.250217	3274067
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.300953	0.300699	3274795
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	0.306952	0.308694	3274678
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	0.527919	0.527673	3274675
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	0.643901	0.645226	3274324
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	SAT	0.6469	0.646642	3274825
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	0.792878	0.792771	3274279
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	1.3228	1.32312	3274681
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	4.80727	6.36436	3274208
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	4.92325	4.93534	3274801
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	5.01224	5.01231	3274426
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	5.08423	5.08457	3273215
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	5.33419	5.33539	3274453
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	5.37618	5.57271	3274384
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	5.78112	5.78507	3274765
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	SAT	7.52385	7.52756	3274396
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	9.94823	5.05938	3274405
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	18.0673	18.0711	3273203
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	35.5496	35.5603	3274450
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	45.5641	45.5719	3274696
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	48.0277	48.0679	3273197
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	48.5926	48.5944	3274477
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	SAT	59.6559	59.6642	3274438
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	SAT	69.4144	69.4709	3274876
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	112.622	112.702	3274372
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	147.402	147.42	3273245
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	SAT	328.153	328.15	3274717
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	SAT	391.165	391.171	3274357
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	546.637	546.634	3274348
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	804.206	804.184	3274378
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	862.372	862.364	3274351
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	SAT	1180.2	1180.17	3274531

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	1294.25	1300.02	3274537
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	? (TO)	1294.87	1300.02	3274906
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	1296.48	1300.01	3274258
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	1297.21	1300.01	3273278
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	? (TO)	1297.66	1300.02	3274870
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	? (TO)	1298.46	1300.02	3274861
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	1298.93	1300.01	3274867
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	1299.17	1300.01	3273275
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	? (TO)	1299.41	1300.01	3274903
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	? (TO)	1299.51	1300.02	3274849
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	1299.83	1300.01	3274810
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	1299.9	1300.01	3274303
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	1299.92	1300.01	3274612
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	1299.92	1300.01	3274420
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	1299.92	1300.01	3274672
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	1299.93	1300.01	3274744
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1299.94	1300.01	3273209
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	1299.94	1300.02	3274894
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	1299.94	1300.01	3274360
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	1299.95	1300.01	3274756
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1299.95	1300.01	3273191
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	? (TO)	1299.95	1300.01	3274597
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	? (TO)	1299.95	1300.01	3274819
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	1299.96	1300.01	3273284
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	1299.96	1300.02	3274909
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	1299.96	1300.01	3273350
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	1299.96	1300.01	3274618
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	1299.96	1300.02	3274693
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	1299.96	1300.01	3274858
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	1299.97	1300.01	3274381
crafted/mosoi/289/ 289-unsat-6x30.cnf	? (TO)	1299.97	1300.01	3274267
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	1299.98	1300.01	3273326
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	1299.98	1300.01	3273305
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	1299.98	1300.01	3273287
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	1299.98	1300.01	3273290
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1299.98	1300.02	3273293
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	1299.98	1300.01	3273332
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	1299.98	1300.01	3274264
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	? (TO)	1299.98	1300.01	3274375
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	1299.99	1300.01	3273257
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	1299.99	1300.01	3273218
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	1299.99	1300.02	3273314
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	1299.99	1300.01	3274579
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	1299.99	1300.01	3274288
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	1299.99	1300.01	3273296
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	1299.99	1300.01	3274570
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	? (TO)	1299.99	1300.01	3274666
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	1299.99	1300.01	3274297
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	1299.99	1300.01	3274558
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	1299.99	1300.01	3273347
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	1299.99	1300.01	3274306
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	? (TO)	1299.99	1300.01	3274588
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	1299.99	1300.01	3274318
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	1299.99	1300.01	3274321
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	1299.99	1300.01	3274540
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	1299.99	1300.01	3273353
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	? (TO)	1299.99	1300.01	3274414
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	1299.99	1300.01	3274600
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	1299.99	1300.02	3274462
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1299.99	1300.01	3273356
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1299.99	1300.01	3273200
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	1299.99	1300.02	3273362
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	1300	1300.01	3274738
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	1300	1300.01	3274567
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	1300	1300.01	3274591
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	1300	1300.02	3274402
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	1300	1300.01	3273272
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	? (TO)	1300	1300.02	3274813
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	1300	1300.01	3273269
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	? (TO)	1300	1300.01	3273266
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	1300	1300.02	3274339
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	1300	1300.01	3274333
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	? (TO)	1300	1300.01	3274387
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	1300	1300.02	3274759
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	1300	1300.01	3273260
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	1300	1300.02	3273317
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	1300	1300.01	3273254
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	1300	1300.01	3274732
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	1300	1300.01	3273344
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	1300	1300.02	3274474
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	1300	1300.01	3273236
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	1300	1300.01	3273221
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	? (TO)	1300	1300.02	3274663
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	? (TO)	1300	1300.01	3274447
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	? (TO)	1300	1300.01	3273409
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1300	1300.01	3273206
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	1300	1300.01	3273644
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	1300	1300.01	3273973
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	? (TO)	1300	1300.01	3274639
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1300	1300.01	3273212
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	1300	1300.01	3274627
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	1300	1300.01	3274594
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	1300	1300.02	3274282
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	1300	1300.02	3274285
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	1300.01	1300.01	3274456
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	1300.01	1300.01	3274615
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	1300.01	1300.02	3274879
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	? (TO)	1300.01	1300.02	3274873
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	1300.01	1300.02	3274669
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	1300.01	1300.02	3274840
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	? (TO)	1300.01	1300.02	3274648
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	? (TO)	1300.01	1300.01	3274633
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	1300.01	1300.01	3274585
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	1300.01	1300.01	3274573
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	1300.01	1300.01	3274549
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	? (TO)	1300.01	1300.02	3274726
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	? (TO)	1300.01	1300.01	3274498
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	1300.01	1300.02	3274468
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	1300.01	1300.01	3274741
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	1300.01	1300.01	3274432
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	? (TO)	1300.01	1300.01	3274429
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	? (TO)	1300.01	1300.01	3274363
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	1300.01	1300.01	3274327
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	1300.01	1300.01	3274255
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	1300.01	1300.01	3274161
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	1300.01	1300.01	3273879
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	1300.01	1300.01	3273738
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	1300.01	1300.01	3273691
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	? (TO)	1300.01	1300.01	3273597
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	1300.01	1300.01	3273503
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	1300.01	1300.01	3273359
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	1300.01	1300.01	3273323
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	? (TO)	1300.01	1300.02	3273320
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	1300.01	1300.01	3273299
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	1300.01	1300.01	3273281
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	1300.01	1300.02	3273263
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1300.01	1300.02	3273251
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	? (TO)	1300.01	1300.01	3273242
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	? (TO)	1300.01	1300.01	3273230
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	? (TO)	1300.01	1300.01	3273227
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1300.01	1300.01	3273194
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	1300.02	1300.02	3273248
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	? (TO)	1300.02	1300.02	3274891
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	1300.02	1300.01	3274114
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	? (TO)	1300.02	1300.02	3273335
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	1300.02	1300.01	3274621
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	1300.02	1300.02	3273926
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	1300.02	1300.02	3274897
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	1300.02	1300.01	3273785
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	1300.02	1300.02	3274465
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	1300.02	1300.02	3274900
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	1300.02	1300.01	3273456
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	? (TO)	1300.02	1300.01	3273224
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	1300.02	1300.02	3273329
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	1300.02	1300.02	3274354
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	1300.02	1300.01	3274603
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	1300.03	1300.01	3274276
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	? (TO)	1300.03	1300.02	3274543
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	1300.03	1300.02	3274552
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	1300.03	1300.02	3274555
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	1300.03	1300.02	3274564
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	1300.03	1300.01	3274576
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	1300.03	1300.01	3274630
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	? (TO)	1300.03	1300.01	3274636
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	? (TO)	1300.03	1300.02	3273308
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	1300.03	1300.02	3273239
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	1300.03	1300.01	3274642
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	? (TO)	1300.03	1300.01	3273233
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	? (TO)	1300.03	1300.01	3274660
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	? (TO)	1300.03	1300.02	3274708
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	? (TO)	1300.03	1300.02	3273341
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	? (TO)	1300.03	1300.01	3274714
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	? (TO)	1300.03	1300.02	3273302
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	? (TO)	1300.03	1300.02	3274780
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	1300.03	1300.01	3274864
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	1300.03	1300.01	3274885
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	1300.03	1300.02	3274459
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	1300.03	1300.02	3274888
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	1300.03	1300.01	3274483
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	1300.03	1300.02	3274408
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	1300.03	1300.01	3274507
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	? (TO)	1300.04	1300.01	3273338
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	? (TO)	1300.04	1300.01	3274711
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	1300.04	1300.02	3274624
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	1300.04	1300.01	3274918
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	1300.04	1300.02	3274609
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	? (TO)	1300.04	1300.02	3274510
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	? (TO)	1300.04	1300.01	3274816
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	? (TO)	1300.04	1300.02	3274837
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	1300.04	1300.02	3274687
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	1300.04	1300.02	3274882
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	? (TO)	1300.04	1300.02	3274519
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	? (TO)	1300.04	1300.02	3274522
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	1300.04	1300.01	3274582
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	? (TO)	1300.04	1300.01	3274471
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	1300.04	1300.02	3274480
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	1300.04	1300.02	3274699
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	? (TO)	1300.04	1300.02	3274525
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	? (TO)	1300.04	1300.02	3274606
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	1300.04	1300.02	3274546
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	1300.04	1300.02	3273188
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	? (TO)	1300.04	1300.01	3274489
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	? (TO)	1300.04	1300.02	3274690
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	? (TO)	1300.04	1300.02	3274846
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	? (TO)	1300.04	1300.01	3274684
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	1300.04	1300.01	3274702
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	1300.05	1300.02	3274855
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	? (TO)	1300.05	1300.02	3274501
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	1300.05	1300.02	3274912
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	1300.05	1300.01	3274915
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	? (TO)	1300.05	1300.02	3274720
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	? (TO)	1300.05	1300.02	3274723
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	1300.05	1300.02	3274843
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	? (TO)	1300.05	1300.02	3274534
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	? (TO)	1300.05	1300.02	3274369
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	1300.05	1300.02	3274762
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	? (TO)	1300.05	1300.02	3274768
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	? (TO)	1300.05	1300.01	3274771
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	? (TO)	1300.05	1300.02	3274774
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	1300.05	1300.02	3274777
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	? (TO)	1300.05	1300.02	3274528
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	? (TO)	1300.05	1300.01	3274513
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	1300.05	1300.02	3274852
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	? (TO)	1300.06	1300.02	3274492
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	1300.06	1300.01	3274495
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	? (TO)	1300.43	1300.47	3273311
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	? (TO)	1304.9	1300.01	3273550
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	1304.9	1300.01	3274020
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	1304.94	1300.02	3274645

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

Result page for solver SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)

Category "crafted instances" (CRAFTED)

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

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

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