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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/industrial/biere/ dinphil/dp04u03.shuffled.cnf	UNSAT	0.006998	0.010262	3349370
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.016996	0.0172481	3349390
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.016996	0.019803	3349391
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	0.096984	0.0984101	3349372
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	0.311951	0.314638	3349375
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	0.501923	0.504789	3349373
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	0.590909	0.601069	3349374
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	0.633903	0.635465	3349380
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	0.635902	0.636669	3349379
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	0.819874	0.820547	3349382
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	0.840871	0.842649	3349381
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	1.01984	1.01971	3349393
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	1.41978	1.42103	3349392
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	1.69974	1.70126	3349371
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	2.11468	2.11492	3349387
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	3.05653	3.05736	3349386
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	3.19951	3.23716	3349378
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	UNSAT	3.2905	3.31881	3349389
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	4.64129	4.6419	3349551
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	4.70428	4.76901	3349377
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	4.90225	4.90297	3349537
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	4.99324	4.99582	3349385
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	5.21221	5.21282	3349384
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	5.83811	5.83843	3349388
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	5.9231	5.92295	3349550
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	6.94394	6.95898	3349376
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	7.31089	7.31181	3349383
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	10.5204	10.5213	3349554
velev-pipe-o-uns-1.1-6.cnf	UNSAT	12.6861	12.6876	3349526
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	13.198	13.2003	3349541
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	14.3138	14.3143	3349552
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	15.4606	15.4613	3349553
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	17.4473	17.4481	3349504
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	17.5353	17.5394	3349508
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	18.1572	18.1574	3349518
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	18.8631	18.8633	3349533
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	18.8721	18.8758	3349532
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	19.471	19.4717	3349567
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	19.761	19.7656	3349517
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	22.0307	22.0326	3349507
manol-pipe-f7nidw.cnf	UNSAT	27.7028	27.7064	3349529
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	34.0818	34.082	3349556
manol-pipe-c6bidw_i.cnf	UNSAT	35.0057	35.0056	3349528
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	39.9429	40.0346	3349531
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	45.6241	45.7295	3349523
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	61.2067	61.2082	3349542
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	62.4095	62.4214	3349509
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	72.365	72.3674	3349524
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	77.8932	77.8938	3349506
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	79.2729	79.2741	3349510
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	82.0655	82.077	3349543
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	84.9731	84.9702	3349569
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	UNSAT	92.5059	92.5051	3349572
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	95.8224	95.8213	3349520
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	103.457	103.458	3349547
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	UNSAT	105.162	105.163	3349505
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	110.432	110.436	3349512
velev-pipe-o-uns-1.0-7.cnf	UNSAT	119.402	119.399	3349527
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	133.69	133.686	3349548
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	139.908	139.905	3349534
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	161.419	161.421	3349564
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	UNSAT	211.75	211.749	3349516
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	UNSAT	226.754	226.747	3349514
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	246.804	246.799	3349522
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	UNSAT	267.352	267.352	3349521
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	293.003	292.997	3349555
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	UNSAT	325.87	325.863	3349440
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	UNSAT	333.205	333.211	3349423
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	359.997	359.995	3349540
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	UNSAT	370.039	370.038	3349515
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	378.363	378.37	3349566
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	UNSAT	414.558	414.544	3349513
velev-vliw-uns-4.0-9-i1.cnf	UNSAT	424.167	424.155	3349438
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	UNSAT	480.135	480.638	3349535
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	UNSAT	485.526	485.516	3349429
manol-pipe-c10nidw.cnf	UNSAT	508.074	508.061	3349530
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	595.29	595.271	3349525
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	685.571	685.549	3349563
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	UNSAT	698.489	698.477	3349441
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	705.904	705.89	3349561
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	758.229	758.212	3349559
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	UNSAT	761.076	761.066	3349549
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	UNSAT	867.845	867.825	3349442
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	875.185	875.157	3349560
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	882.323	882.295	3349562
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	979.114	979.079	3349558
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	UNSAT	1002.78	1002.75	3349424
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	UNSAT	1175.91	1175.87	3349433
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	1242.7	1242.72	3349546
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	UNSAT	1263.53	1263.51	3349580

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.001999	0.013917	3349453
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.003998	0.013855	3349350
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.003999	0.014295	3349346
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.006998	0.0124411	3349368
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.007997	0.013795	3349352
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.009997	0.0102649	3349347
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.013997	0.019994	3349351
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	0.180971	0.1828	3349348
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	0.390939	0.391609	3349349
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	0.426934	0.431855	3349362
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	0.448931	0.452147	3349355
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	0.682895	0.692754	3349357
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	0.90886	0.909571	3349358
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	1.00485	1.01994	3349366
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	1.05984	1.06271	3349468
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	1.18482	1.18682	3349469
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	1.23081	1.24037	3349353
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	1.41179	1.42041	3349363
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	SAT	1.41578	1.43041	3349485
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	1.64675	1.66972	3349365
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	1.66874	1.6701	3349447
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	1.82872	1.84769	3349364
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	2.17867	2.184	3349367
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	2.65759	2.66734	3349359
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	3.43548	3.43901	3349354
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	3.86541	3.8972	3349478
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	5.07223	5.07765	3349360
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	5.30219	5.32288	3349361
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	6.67898	6.68312	3349486
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	11.9732	11.9758	3349356
ibm-2002-21r-k95.cnf	SAT	20.4549	20.4642	3349470
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	20.5889	20.5917	3349460
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	21.9637	22.0139	3349500
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	22.6266	22.7913	3349475
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	26.078	26.1148	3349502
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	27.3338	27.3514	3349496
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	27.9627	27.9648	3349481
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	40.6508	40.6565	3349501
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	40.6918	40.7021	3349449
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	40.7818	40.7911	3349484
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	43.1824	43.1945	3349450
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	SAT	46.4809	46.4814	3349405
ibm-2004-01-k90.cnf	SAT	49.8544	49.8621	3349472
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	50.3693	50.371	3349451
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	59.6159	59.6739	3349461
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	61.4287	61.441	3349499
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	62.4795	63.2258	3349401
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	63.1954	63.1984	3349459
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	65.742	65.7412	3349369
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	83.6023	83.6139	3349464
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	88.2816	88.2892	3349482
velev-pipe-sat-1.0-b9.cnf	SAT	91.6271	91.636	3349471
velev-npe-1.0-9dlx-b71.cnf	SAT	98.414	98.4669	3349406
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	105.071	105.072	3349465
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	112.75	112.772	3349483
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	180.729	180.763	3349457
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	281.014	281.038	3349458
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	339.792	339.786	3349491
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	360.363	360.369	3349452
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	438.275	438.269	3349455
ibm-2004-23-k100.cnf	SAT	513.764	513.77	3349473
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	531.17	531.154	3349467
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	555.257	555.243	3349466
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	562.293	562.278	3349490
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	585.578	585.565	3349489
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	SAT	931.778	931.766	3349394
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	1148.27	1148.26	3349400
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	SAT	1218.65	1218.61	3349497

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	? (TO)	1289.74	1300.03	3349422
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	1297.71	1300.02	3349627
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	? (TO)	1299.18	1300.03	3349421
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	1299.74	1300.02	3349623
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	1299.86	1300.04	3349435
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	1299.97	1300.01	3349630
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	? (TO)	1299.98	1300.02	3349417
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	1299.98	1300.03	3349624
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	1299.98	1300.02	3349614
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1299.99	1300.02	3349589
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	? (TO)	1299.99	1300.04	3349395
SAT_RACE08/Q1/ SAT_dat.k85.cnf	? (TO)	1299.99	1300.03	3349476
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	1299.99	1300.02	3349576
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	? (TO)	1299.99	1300.02	3349477
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	1299.99	1300.03	3349625
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	1300	1300.05	3349439
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1300.01	1300.02	3349599
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	1300.01	1300.02	3349545
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	1300.01	1300.01	3349571
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	1300.01	1300.01	3349632
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	1300.02	1300.02	3349448
mizh-sha0-36-4.cnf	? (TO)	1300.02	1300.01	3349600
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	? (TO)	1300.02	1300.02	3349573
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1300.02	1300.03	3349432
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	1300.02	1300.01	3349607
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	1300.03	1300.02	3349574
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	1300.03	1300.07	3349565
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1300.03	1300.02	3349434
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1300.03	1300.02	3349430
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	1300.03	1300.02	3349622
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	1300.04	1300.02	3349609
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	1300.04	1300.02	3349618
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	? (TO)	1300.04	1300.02	3349420
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	1300.04	1300.02	3349616
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	? (TO)	1300.04	1300.02	3349619
application/manthey/traffic/ traffic_3_uc_sat.cnf	? (TO)	1300.04	1300.03	3349493
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1300.04	1300.02	3349428
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	1300.04	1300.02	3349445
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1300.04	1300.03	3349427
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	1300.04	1300.02	3349444
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1300.04	1300.02	3349587
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1300.04	1300.01	3349585
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1300.04	1300.01	3349463
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	? (TO)	1300.04	1300.01	3349410
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	1300.04	1300.01	3349629
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1300.04	1300.01	3349596
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	1300.04	1300.02	3349633
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	1300.04	1300.02	3349628
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	1300.04	1300.01	3349579
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	1300.04	1300.02	3349610
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	1300.04	1300.02	3349605
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	1300.04	1300.02	3349612
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1300.04	1300.02	3349462
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	1300.04	1300.02	3349578
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	1300.04	1300.02	3349613
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1300.05	1300.02	3349519
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	? (TO)	1300.05	1300.02	3349407
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	? (TO)	1300.05	1300.02	3349503
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	1300.05	1300.02	3349581
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	1300.05	1300.02	3349575
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	? (TO)	1300.05	1300.02	3349418
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	1300.05	1300.01	3349419
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	1300.05	1300.02	3349577
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	1300.05	1300.02	3349446
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	? (TO)	1300.05	1300.03	3349488
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	? (TO)	1300.05	1300.01	3349487
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	1300.05	1300.01	3349631
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	1300.05	1300.01	3349626
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	1300.05	1300.01	3349602
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	? (TO)	1300.05	1300.02	3349408
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	1300.05	1300.02	3349617
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	? (TO)	1300.05	1300.02	3349479
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	1300.05	1300.02	3349615
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	1300.05	1300.02	3349611
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	1300.05	1300.02	3349603
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	1300.05	1300.02	3349620
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	? (TO)	1300.05	1300.02	3349544
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	1300.05	1300.02	3349621
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1300.05	1300.02	3349437
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1300.05	1300.02	3349431
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	1300.05	1300.08	3349641
industrial/fuhs/hard/ AProVE07-03.cnf	? (TO)	1300.05	1300.01	3349511
industrial/crypto/ mizh-sha0-36-2.cnf	? (TO)	1300.05	1300.02	3349584
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1300.05	1300.01	3349586
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	1300.05	1300.02	3349588
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	1300.05	1300.02	3349591
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1300.05	1300.02	3349594
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	1300.05	1300.02	3349595
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1300.05	1300.02	3349402
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1300.06	1300.02	3349592
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	? (TO)	1300.06	1300.04	3349539
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	? (TO)	1300.06	1300.03	3349480
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1300.06	1300.03	3349399
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1300.06	1300.02	3349425
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1300.06	1300.02	3349426
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	? (TO)	1300.06	1300.02	3349536
application/manthey/traffic/ traffic_r_uc_sat.cnf	? (TO)	1300.06	1300.04	3349495
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	1300.06	1300.02	3349608
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	? (TO)	1300.06	1300.03	3349456
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	? (TO)	1300.06	1300.02	3349409
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	1300.06	1300.02	3349606
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	1300.06	1300.02	3349593
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	1300.06	1300.02	3349604
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	? (TO)	1300.06	1300.04	3349492
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	1300.06	1300.02	3349597
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	? (TO)	1300.06	1300.02	3349557
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	1300.06	1300.03	3349635
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1300.06	1300.02	3349598
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	1300.06	1300.02	3349590
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	1300.06	1300.02	3349396
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	1300.07	1300.04	3349634
application/fuhs/ AProVE11/AProVE11-06.cnf	? (TO)	1300.07	1300.02	3349443
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	? (TO)	1300.07	1300.03	3349538
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	1300.07	1300.09	3349412
ibm-2002-30r-k85.cnf	? (TO)	1300.07	1300.03	3349474
application/manthey/ traffic/traffic_r_sat.cnf	? (TO)	1300.07	1300.03	3349494
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1300.08	1300.05	3349403
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	1300.08	1300.04	3349637
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	1300.08	1300.05	3349636
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	1300.08	1300.04	3349601
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1300.08	1300.05	3349436
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1300.08	1300.06	3349398
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	? (TO)	1300.08	1300.05	3349397
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1300.08	1300.05	3349454
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	1300.09	1300.05	3349582
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	1300.09	1300.07	3349640
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1300.09	1300.05	3349583
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	? (TO)	1300.1	1300.07	3349568
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	? (TO)	1300.1	1300.06	3349570
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1300.1	1300.05	3349404
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	1300.11	1300.08	3349411
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	1300.12	1300.09	3349638
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	1300.12	1300.1	3349639
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	1300.13	1300.09	3349642
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	1300.13	1300.09	3349643
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	1300.15	1300.14	3349413
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.17	1300.13	3349415
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.18	1300.13	3349414
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.18	1300.15	3349644
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	1300.19	1300.16	3349416
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	? (TO)	1300.19	1300.15	3349498
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.19	1300.15	3349645

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

Result page for solver minisat hack: LR_GL_SHR 2011-03-02 (complete)

Category "applications instances" (APPLICATION)

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

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

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