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.005999	0.012387	3362467
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.009997	0.011494	3362488
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.009997	0.01513	3362487
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	0.118981	0.120667	3362469
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	0.161974	0.165721	3362472
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	0.455929	0.456741	3362470
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	0.52192	0.523538	3362471
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	0.588909	0.589568	3362476
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	0.720889	0.722801	3362477
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	0.811875	0.824901	3362478
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	0.861868	0.864305	3362479
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	0.969851	0.970151	3362490
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	1.06784	1.06862	3362489
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	2.98554	3.00532	3362475
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	2.98555	2.9898	3362484
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	3.00054	3.00071	3362468
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	3.03654	3.04158	3362483
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	3.97739	4.04207	3362474
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	4.29735	4.2987	3362482
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	4.65929	4.66308	3362648
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	4.66729	4.66788	3362481
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	4.73528	4.73764	3362480
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	6.27504	6.27612	3362651
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	6.80896	6.81377	3362485
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	7.06992	7.0716	3362473
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	7.92079	7.92748	3362634
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	12.6971	12.6999	3362647
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	13.2	13.2145	3362630
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	13.24	13.2396	3362615
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	15.1557	15.1606	3362649
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	16.5145	16.5169	3362638
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	17.4363	17.437	3362650
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	20.2389	20.239	3362629
manol-pipe-c6bidw_i.cnf	UNSAT	21.4987	21.5012	3362625
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	21.5817	21.5834	3362664
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	25.3961	25.3953	3362652
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	27.8778	27.879	3362605
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	35.7116	35.7113	3362645
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	39.0131	39.0137	3362606
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	41.6897	41.698	3362620
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	42.0576	42.0815	3362628
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	52.38	52.3812	3362621
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	53.1199	53.1419	3362607
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	53.6108	53.6098	3362604
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	64.1592	64.1596	3362653
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	70.4053	70.4083	3362644
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	85.788	85.7963	3362619
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	95.4215	95.42	3362616
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	95.9684	95.9669	3362666
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	102.616	102.618	3362639
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	104.676	104.675	3362640
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	117.555	117.551	3362603
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	122.448	122.453	3362609
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	123.764	123.764	3362617
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	207.916	207.913	3362661
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	234.55	234.548	3362631
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	319.177	319.167	3362660
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	335.586	335.571	3362658
manol-pipe-c10nidw.cnf	UNSAT	341.866	342.046	3362627
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	354.81	354.802	3362657
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	362.98	362.968	3362656
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	375.776	375.764	3362655
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	391.813	391.81	3362659
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	UNSAT	505.23	505.214	3362654
velev-pipe-o-uns-1.0-7.cnf	UNSAT	522.49	522.49	3362624
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	535.196	535.212	3362622
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	591.094	591.081	3362637
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	630.96	630.953	3362663
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	740.463	740.453	3362635
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	UNSAT	759.896	759.916	3362669
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	766.928	766.911	3362643
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	UNSAT	1034.25	1034.23	3362602
velev-pipe-o-uns-1.1-6.cnf	UNSAT	1058.59	1058.56	3362623
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	UNSAT	1255.57	1255.59	3362539

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.001999	0.013223	3362550
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.003999	0.0141269	3362447
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.004998	0.012767	3362443
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.007997	0.0125009	3362444
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.007997	0.0133339	3362449
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.015996	0.018845	3362448
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.023996	0.025342	3362465
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	0.090985	0.0916149	3362445
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	0.32295	0.324923	3362583
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	0.38994	0.402337	3362446
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	0.396939	0.396411	3362452
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	0.476926	0.479378	3362459
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	0.567913	0.573035	3362454
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	0.803877	0.806234	3362565
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	0.833873	0.834882	3362455
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	0.886864	0.890183	3362463
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	1.02884	1.0324	3362450
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	1.17082	1.17357	3362566
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	SAT	1.35279	1.3541	3362582
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	1.38379	1.38859	3362460
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	1.39379	1.39758	3362461
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	1.41478	1.4163	3362544
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	1.51677	1.52759	3362462
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	2.04069	2.04607	3362464
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	2.28865	2.29521	3362456
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	4.03139	4.03455	3362453
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	5.01824	5.01976	3362548
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	5.56015	5.5731	3362451
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	5.80012	5.81197	3362458
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	6.44002	6.45621	3362457
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	6.68398	6.69715	3362578
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	8.21375	8.21747	3362558
application/manthey/ traffic/traffic_r_sat.cnf	SAT	9.64353	9.6475	3362591
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	11.0263	11.0289	3362593
ibm-2002-21r-k95.cnf	SAT	11.1463	11.1466	3362567
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	12.0992	12.102	3362572
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	14.6778	14.6914	3362557
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	18.8381	19.0235	3362466
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	19.982	19.9997	3362580
ibm-2004-01-k90.cnf	SAT	21.1498	21.1522	3362569
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	23.0525	23.0803	3362597
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	24.5593	24.5714	3362575
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	31.4242	31.4249	3362556
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	32.0931	32.0934	3362596
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	42.6025	42.6046	3362546
ibm-2002-30r-k85.cnf	SAT	42.9815	42.9875	3362571
SAT_RACE08/Q1/ SAT_dat.k85.cnf	SAT	43.9703	44.0821	3362573
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	50.8203	50.8336	3362599
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	54.8367	54.8392	3362547
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	57.0803	57.1164	3362554
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	57.8882	58.1194	3362498
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT	59.415	59.4237	3362553
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	61.9746	61.9757	3362555
velev-npe-1.0-9dlx-b71.cnf	SAT	69.5864	69.6431	3362503
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	73.3798	73.3841	3362574
velev-pipe-sat-1.0-b9.cnf	SAT	77.1683	77.1704	3362568
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	82.3685	82.3718	3362587
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	88.0636	88.0614	3362585
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	88.3746	88.3802	3362579
ibm-2004-23-k100.cnf	SAT	91.4331	91.4408	3362570
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	SAT	99.3809	99.3901	3362584
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	100.64	100.647	3362561
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	102.054	102.058	3362588
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	102.095	102.095	3362586
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	108.047	108.058	3362562
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	132.175	132.211	3362592
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	134.863	134.876	3362581
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	159.96	159.998	3362598
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	164.338	164.349	3362590
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	249.418	249.412	3362549
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	SAT	260.032	260.117	3362494
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	SAT	280.705	280.709	3362576
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	345.714	345.716	3362589
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	350.176	350.169	3362559
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	397.738	397.738	3362564
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	444.111	444.111	3362563
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	SAT	464.449	464.447	3362506
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	SAT	541.322	541.426	3362504
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	603.764	603.763	3362551
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	SAT	644.128	644.226	3362505
mizh-sha0-36-4.cnf	SAT	756.522	756.505	3362697
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	871.436	871.412	3362552
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	SAT	897.139	897.118	3362507
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	SAT	966.808	966.771	3362595
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	SAT	991.626	991.599	3362716
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	1094.95	1094.93	3362497
industrial/crypto/ mizh-sha0-36-2.cnf	SAT	1241.76	1241.71	3362681

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1299.85	1300.01	3362693
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	1299.94	1300.03	3362545
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	1300	1300.02	3362719
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	1300	1300.02	3362714
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	1300.01	1300.02	3362708
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	1300.01	1300.02	3362729
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	1300.01	1300.02	3362674
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	1300.01	1300.02	3362692
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	1300.01	1300.04	3362720
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	1300.01	1300.02	3362709
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1300.02	1300.03	3362496
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	1300.03	1300.02	3362704
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	1300.03	1300.02	3362727
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1300.03	1300.01	3362686
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	1300.03	1300.02	3362694
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	? (TO)	1300.04	1300.07	3362665
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	1300.04	1300.02	3362699
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	? (TO)	1300.04	1300.02	3362632
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	1300.04	1300.02	3362671
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1300.04	1300.01	3362560
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	1300.04	1300.02	3362703
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	1300.04	1300.01	3362668
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	1300.04	1300.04	3362732
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1300.04	1300.02	3362499
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	? (TO)	1300.04	1300.02	3362618
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1300.05	1300.02	3362528
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	1300.05	1300.02	3362543
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	1300.05	1300.01	3362726
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	1300.05	1300.02	3362728
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	1300.05	1300.01	3362722
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	1300.05	1300.02	3362723
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	1300.05	1300.02	3362724
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	1300.05	1300.02	3362702
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	1300.05	1300.02	3362712
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	1300.05	1300.02	3362706
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	1300.05	1300.03	3362717
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	1300.05	1300.02	3362713
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	? (TO)	1300.05	1300.02	3362641
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	1300.05	1300.02	3362541
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	1300.05	1300.12	3362536
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	? (TO)	1300.05	1300.01	3362514
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	? (TO)	1300.05	1300.02	3362600
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	1300.05	1300.02	3362678
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	? (TO)	1300.05	1300.02	3362491
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	1300.05	1300.05	3362675
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	? (TO)	1300.05	1300.01	3362515
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	1300.05	1300.02	3362516
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	1300.05	1300.06	3362737
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1300.05	1300.03	3362531
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1300.05	1300.03	3362522
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1300.05	1300.03	3362523
industrial/fuhs/hard/ AProVE07-03.cnf	? (TO)	1300.05	1300.02	3362608
application/fuhs/ AProVE11/AProVE11-06.cnf	? (TO)	1300.05	1300.03	3362540
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1300.05	1300.02	3362696
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1300.05	1300.02	3362534
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1300.05	1300.07	3362680
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1300.05	1300.02	3362682
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1300.05	1300.01	3362683
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1300.05	1300.02	3362684
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	1300.05	1300.02	3362685
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	1300.05	1300.02	3362687
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1300.05	1300.05	3362689
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	1300.06	1300.02	3362715
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	? (TO)	1300.06	1300.02	3362633
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	1300.06	1300.02	3362707
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	? (TO)	1300.06	1300.03	3362646
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	? (TO)	1300.06	1300.02	3362517
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	1300.06	1300.01	3362676
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	? (TO)	1300.06	1300.02	3362492
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	1300.06	1300.02	3362673
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	1300.06	1300.02	3362493
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1300.06	1300.02	3362695
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	1300.06	1300.02	3362730
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	1300.06	1300.08	3362735
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	1300.06	1300.03	3362721
manol-pipe-f7nidw.cnf	? (TO)	1300.06	1300.02	3362626
industrial/manolios/ manol-pipe-f7idw.cnf	? (TO)	1300.06	1300.03	3362614
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	1300.06	1300.03	3362612
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	1300.06	1300.02	3362701
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	1300.06	1300.02	3362725
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	1300.06	1300.02	3362711
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	? (TO)	1300.07	1300.04	3362518
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	1300.07	1300.03	3362672
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	1300.07	1300.03	3362542
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1300.07	1300.02	3362691
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1300.07	1300.06	3362533
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	? (TO)	1300.07	1300.04	3362577
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1300.07	1300.04	3362524
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1300.07	1300.01	3362525
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1300.07	1300.04	3362527
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	1300.07	1300.02	3362705
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1300.07	1300.03	3362529
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	1300.07	1300.03	3362610
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	1300.07	1300.03	3362611
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	1300.07	1300.03	3362613
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	? (TO)	1300.07	1300.02	3362486
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	? (TO)	1300.07	1300.02	3362601
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	1300.07	1300.03	3362688
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	1300.08	1300.02	3362718
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	? (TO)	1300.08	1300.04	3362502
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	1300.08	1300.02	3362710
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	? (TO)	1300.08	1300.02	3362670
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	1300.08	1300.03	3362642
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	1300.08	1300.02	3362700
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	1300.08	1300.02	3362690
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	1300.08	1300.05	3362733
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1300.08	1300.03	3362530
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	1300.09	1300.05	3362532
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	? (TO)	1300.09	1300.05	3362636
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	1300.09	1300.05	3362731
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	? (TO)	1300.09	1300.03	3362519
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	1300.09	1300.06	3362736
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1300.09	1300.05	3362500
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	1300.1	1300.09	3362698
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1300.11	1300.08	3362495
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	? (TO)	1300.11	1300.07	3362667
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1300.11	1300.08	3362535
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	? (TO)	1300.11	1300.09	3362538
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	1300.12	1300.11	3362509
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	1300.12	1300.08	3362738
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	1300.12	1300.08	3362734
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1300.12	1300.08	3362501
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	1300.12	1300.09	3362521
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	1300.13	1300.13	3362510
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	1300.13	1300.09	3362679
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.13	1300.13	3362512
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	? (TO)	1300.13	1300.1	3362520
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	1300.14	1300.15	3362513
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	1300.14	1300.11	3362677
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	1300.14	1300.1	3362508
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	1300.14	1300.11	3362740
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	1300.14	1300.09	3362662
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	1300.15	1300.11	3362739
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1300.16	1300.1	3362526
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.17	1300.16	3362511
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.19	1300.15	3362742
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	? (TO)	1300.2	1300.16	3362594
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.2	1300.15	3362741
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	? (TO)	1300.28	1300.3	3362537

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

Result page for solver minisat hack reference: minisat 2.2.0 (complete)

Category "applications instances" (APPLICATION)

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

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

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