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.005999	0.00760095	3274803
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.033994	0.0345281	3274410
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	0.247962	0.249263	3274434
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	0.425935	0.430464	3274734
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	UNSAT	0.488924	0.489903	3274749
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.563913	0.569714	3274791
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	1.18782	1.18846	3274653
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	1.42578	1.43226	3274728
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	1.90171	1.90718	3274398
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	2.32165	2.32741	3274806
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	3.65844	3.65821	3274656
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	21.2188	21.2246	3274797
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	UNSAT	34.7057	34.705	3274389
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	43.4484	43.4491	3274560
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	67.8687	67.8691	3274515
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	75.7975	75.7961	3274503
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	88.3006	88.2989	3274422
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	UNSAT	106.304	106.302	3274416
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	UNSAT	133.42	133.416	3274788
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	154.072	154.085	3274833
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	UNSAT	173.75	173.76	3274485
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	UNSAT	194.97	194.968	3274512
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	UNSAT	204.16	204.16	3274518
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	UNSAT	226.163	226.155	3274362
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	UNSAT	325.226	325.221	3274374
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	UNSAT	330.485	330.486	3274785
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	351.318	351.317	3274650
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	UNSAT	411.096	411.085	3274542
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	UNSAT	524.53	524.516	3274770
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	608.838	608.83	3274830
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	UNSAT	698.76	698.754	3274524
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	UNSAT	899.169	899.182	3274527
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	UNSAT	1147.17	1147.16	3274605
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	UNSAT	1224.8	1224.81	3274767

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.003999	0.00623008	3274269
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.006998	0.00777191	3274314
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.007997	0.00783309	3274311
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.007998	0.00865508	3274329
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.011998	0.0119669	3274335
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.013997	0.0150091	3274344
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.019996	0.0206659	3274800
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.021996	0.0228361	3274794
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.027995	0.032235	3274782
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.047992	0.0482201	3273214
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.077987	0.078413	3274341
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.108983	0.109754	3274308
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.117982	0.118559	3274443
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.12198	0.123233	3274290
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.12598	0.132239	3274299
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.12798	0.129533	3274260
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.144977	0.145377	3274293
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.183971	0.187664	3274272
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	0.398938	0.400088	3274323
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	0.460929	0.462477	3274764
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	0.558914	0.559883	3274278
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	0.891864	0.891468	3274680
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	1.14482	1.1451	3274452
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	1.40279	1.40282	3274677
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	1.69974	1.70128	3273196
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	3.07053	3.0749	3274674
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	6.16906	6.17036	3274869
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	8.38672	8.38773	3274392
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	8.87165	8.87575	3274488
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	12.971	12.9721	3274066
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	16.0546	16.0557	3274347
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	18.9991	19.0049	3273202
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	28.1297	28.1316	3274377
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	SAT	30.5953	30.6003	3274860
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	38.8931	38.8979	3274440
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	39.579	39.5835	3274383
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	SAT	49.8114	49.8108	3274836
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	69.7594	69.7609	3274371
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	70.6363	70.6349	3273244
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	77.2692	77.2694	3274404
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	88.3666	88.365	3274350
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	89.7484	89.7461	3273232
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	113.741	113.738	3274207
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	149.69	149.69	3274476
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	SAT	155.89	155.889	3274902
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	184.872	184.871	3274848
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	SAT	223.046	223.04	3273408
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	SAT	231.056	231.053	3274533
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	SAT	324.013	324.011	3274872
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	350.914	350.923	3274695
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	390.021	390.012	3274425
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	619.22	619.222	3274500
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	SAT	684.324	684.307	3274521
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	SAT	768.726	768.704	3274890
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	SAT	889.339	889.326	3274530
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	SAT	940.071	940.044	3274716
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	SAT	1074.56	1074.53	3273549
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	SAT	1132.27	1132.28	3273307
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	1296.06	1296.03	3273361

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	? (TO)	1299.93	1300.01	3274497
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	1299.93	1300.01	3274254
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	1299.93	1300.02	3273289
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	1299.94	1300.02	3273268
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	1299.95	1300.01	3274506
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	1299.97	1300.03	3274893
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	1299.97	1300.02	3274281
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	1299.99	1300.03	3274878
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	1299.99	1300.01	3274911
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	? (TO)	1299.99	1300.01	3274428
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	1299.99	1300.01	3274019
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	? (TO)	1300	1300.01	3274659
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1300	1300.02	3273355
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	1300	1300.01	3274563
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	1300	1300.01	3274629
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	1300	1300.01	3274626
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1300	1300.01	3273199
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	1300	1300.02	3273217
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	? (TO)	1300.01	1300.01	3274596
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	1300.01	1300.01	3273455
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	1300.01	1300.02	3273259
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	1300.01	1300.03	3274863
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	? (TO)	1300.01	1300.01	3273241
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	1300.01	1300.01	3274160
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	? (TO)	1300.01	1300.01	3274449
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	1300.01	1300.01	3274551
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	1300.01	1300.01	3273502
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	1300.01	1300.01	3273220
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	1300.01	1300.01	3274671
crafted/mosoi/289/ 289-unsat-6x30.cnf	? (TO)	1300.01	1300.01	3274266
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	1300.01	1300.01	3274539
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	? (TO)	1300.02	1300.01	3274779
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	1300.02	1300.02	3274866
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	1300.02	1300.01	3273784
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	1300.02	1300.01	3274827
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	1300.02	1300.01	3273271
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	1300.02	1300.01	3274821
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	? (TO)	1300.02	1300.01	3274815
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1300.03	1300.01	3273205
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	1300.03	1300.01	3274614
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	1300.03	1300.01	3274746
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	1300.03	1300.01	3274620
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	1300.03	1300.01	3274581
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	1300.03	1300.01	3274809
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	1300.03	1300.02	3273304
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	? (TO)	1300.03	1300.01	3274635
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	? (TO)	1300.03	1300.01	3273301
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	1300.03	1300.01	3274590
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	? (TO)	1300.03	1300.01	3274587
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	1300.03	1300.01	3273295
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	? (TO)	1300.03	1300.01	3274368
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1300.03	1300.01	3273292
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	? (TO)	1300.03	1300.01	3274386
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	1300.03	1300.01	3274545
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	1300.03	1300.01	3274296
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	1300.03	1300.03	3274842
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	? (TO)	1300.03	1300.01	3274818
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	? (TO)	1300.03	1300.01	3274509
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	? (TO)	1300.03	1300.01	3274812
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	3274689
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	? (TO)	1300.03	1300.01	3273310
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	1300.03	1300.04	3274473
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	1300.03	1300.01	3273316
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	1300.03	1300.01	3274740
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	? (TO)	1300.03	1300.01	3273319
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	1300.04	1300.01	3274686
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	1300.04	1300.03	3274908
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	1300.04	1300.02	3274884
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	? (TO)	1300.04	1300.01	3274875
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	1300.04	1300.01	3274761
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	? (TO)	1300.04	1300.01	3274752
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	1300.04	1300.01	3274743
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	? (TO)	1300.04	1300.01	3274719
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	? (TO)	1300.04	1300.01	3274710
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (TO)	1300.04	1300.01	3274704
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	1300.04	1300.01	3274701
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	1300.04	1300.01	3274698
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	1300.04	1300.01	3274692
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	1300.04	1300.01	3274578
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	1300.04	1300.01	3274575
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	1300.04	1300.01	3274572
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	1300.04	1300.02	3274566
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	1300.04	1300.01	3274824
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	1300.04	1300.01	3274548
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	1300.04	1300.01	3274536
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	1300.04	1300.01	3274431
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	1300.04	1300.01	3274668
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	? (TO)	1300.04	1300.01	3274665
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	? (TO)	1300.04	1300.01	3274662
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	? (TO)	1300.04	1300.01	3274638
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	? (TO)	1300.04	1300.01	3274632
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	1300.04	1300.01	3274623
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	1300.04	1300.01	3274617
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	1300.04	1300.01	3274611
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	1300.04	1300.01	3274608
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	1300.04	1300.02	3274584
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	? (TO)	1300.04	1300.01	3274356
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	1300.04	1300.02	3274305
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	1300.04	1300.01	3274113
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	1300.04	1300.01	3273831
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	1300.04	1300.01	3273643
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	? (TO)	1300.04	1300.01	3273596
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	1300.04	1300.01	3273331
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	1300.04	1300.01	3273322
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	? (TO)	1300.04	1300.01	3274683
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	? (TO)	1300.04	1300.01	3274470
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	1300.04	1300.01	3274458
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	? (TO)	1300.04	1300.01	3273265
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	1300.04	1300.02	3273262
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	1300.04	1300.01	3273247
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	? (TO)	1300.04	1300.01	3273229
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	? (TO)	1300.04	1300.01	3273226
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	? (TO)	1300.04	1300.01	3273223
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	1300.05	1300.02	3274737
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1300.05	1300.01	3273211
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	1300.05	1300.01	3274257
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	1300.05	1300.01	3273298
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	? (TO)	1300.05	1300.01	3274773
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	1300.05	1300.01	3274776
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	? (TO)	1300.05	1300.01	3274491
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	1300.05	1300.02	3273286
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	1300.05	1300.01	3273283
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	1300.05	1300.01	3274494
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	1300.05	1300.02	3274896
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	1300.05	1300.02	3274359
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	1300.05	1300.01	3274644
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	1300.05	1300.01	3274593
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	1300.05	1300.03	3274338
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	1300.05	1300.01	3273925
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	1300.05	1300.01	3273878
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1300.05	1300.01	3273208
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	1300.05	1300.01	3273253
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1300.05	1300.01	3273250
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	1300.05	1300.01	3274554
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	1300.05	1300.01	3274320
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	1300.05	1300.01	3273690
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	? (TO)	1300.05	1300.01	3274365
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	1300.05	1300.01	3274602
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	1300.05	1300.01	3274599
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	1300.05	1300.01	3274641
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	? (TO)	1300.05	1300.01	3274437
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	1300.05	1300.01	3274557
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	1300.05	1300.02	3274569
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	1300.05	1300.02	3273358
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	? (TO)	1300.05	1300.01	3273340
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	? (TO)	1300.05	1300.01	3274446
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	? (TO)	1300.05	1300.01	3273334
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	1300.05	1300.03	3274899
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	1300.05	1300.01	3274287
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	1300.05	1300.03	3274284
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	? (TO)	1300.05	1300.02	3274905
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	? (TO)	1300.05	1300.01	3274707
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	? (TO)	1300.05	1300.01	3274713
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	1300.05	1300.02	3273313
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	? (TO)	1300.05	1300.01	3274722
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	? (TO)	1300.05	1300.01	3274725
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	1300.05	1300.02	3274917
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	1300.05	1300.01	3274479
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	1300.05	1300.02	3274731
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	? (TO)	1300.05	1300.01	3274395
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	1300.05	1300.01	3274401
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	1300.05	1300.02	3274464
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	1300.05	1300.01	3274275
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	? (TO)	1300.05	1300.01	3274647
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	1300.05	1300.01	3274482
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	1300.06	1300.01	3274353
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	1300.06	1300.02	3274332
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	1300.06	1300.02	3274317
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	1300.06	1300.02	3274302
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	1300.06	1300.01	3273972
crafted/spence/ hard/s113-100.cnf	? (TO)	1300.06	1300.01	3273184
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	1300.06	1300.01	3273737
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	? (TO)	1300.06	1300.01	3273337
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	1300.06	1300.01	3273328
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	1300.06	1300.02	3273325
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	1300.06	1300.02	3273352
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	1300.06	1300.01	3274461
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	1300.06	1300.03	3274455
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	1300.06	1300.03	3274755
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	1300.06	1300.03	3274758
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	? (TO)	1300.06	1300.02	3274845
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	1300.06	1300.02	3273280
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	1300.06	1300.01	3273277
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	1300.06	1300.02	3273274
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	1300.06	1300.01	3273343
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	1300.06	1300.01	3273187
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	1300.06	1300.03	3274857
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	1300.06	1300.01	3273256
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	1300.06	1300.03	3274914
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	1300.06	1300.04	3274881
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	1300.06	1300.01	3273238
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	1300.06	1300.01	3273235
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	? (TO)	1300.06	1300.01	3274413
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	1300.06	1300.01	3274407
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	1300.06	1300.01	3274419
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	1300.06	1300.02	3274380
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1300.07	1300.02	3273190
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	1300.07	1300.05	3274839
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1300.07	1300.02	3273193
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	1300.07	1300.03	3274851
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	1300.07	1300.02	3273346
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	1300.07	1300.02	3273349
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	1300.07	1300.02	3274263
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	1300.07	1300.02	3274326
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	1300.08	1300.06	3274854
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	1300.08	1300.06	3274887
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	1300.09	1300.04	3274467

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

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

Category "crafted instances" (CRAFTED)

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

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

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