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.490924	0.620261	3484692
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	1.40479	1.48259	3484684
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	1.40579	1.62329	3483845
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	2.32565	2.46704	3484643
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	2.45863	2.53646	3484644
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	3.22251	3.52349	3484686
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	6.85896	6.94093	3484632
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	UNSAT	7.82781	8.06923	3483961
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	9.02863	9.26923	3483972
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	11.8652	12.2304	3484640
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	UNSAT	12.5181	12.7394	3484688
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	14.7498	15.0461	3484660
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	16.0026	16.0979	3483973
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	17.5543	17.6442	3483969
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	18.2612	18.5872	3483980
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	27.0269	27.1239	3483962
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	28.1267	57.3547	3483819
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	31.7632	32.0052	3483979
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	35.1277	35.2312	3484661
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	41.8406	41.9274	3484631
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	44.3373	44.6889	3483804
velev-pipe-o-uns-1.1-6.cnf	UNSAT	45.4461	45.5185	3483893
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	47.8407	48.1306	3484639
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	50.2154	50.3045	3483975
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	51.0782	51.3385	3483967
manol-pipe-c6bidw_i.cnf	UNSAT	51.8481	51.9127	3483839
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	54.5907	54.8715	3484629
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	56.3194	56.5399	3483971
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	58.8121	58.9368	3483968
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	66.6879	96.562	3483818
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	68.1766	68.4221	3483904
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	68.6666	70.5105	3483820
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	73.1199	73.4354	3483932
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	82.2105	82.4644	3483981
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	87.1957	87.4578	3483937
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	97.4082	97.7839	3484695
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	98.932	99.9057	3483871
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	99.9778	100.228	3483970
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	114.036	115.808	3483874
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	124.348	125.071	3483873
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	124.685	124.62	3484689
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	127.12	127.169	3483943
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	132.347	134.263	3483824
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	150.375	150.651	3483949
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	165.178	165.095	3484646
manol-pipe-f7nidw.cnf	UNSAT	188.285	188.353	3483841
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	206.401	206.661	3483955
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	206.493	207.008	3484702
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	206.548	210.255	3483812
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	206.665	206.486	3484685
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	238.456	242.08	3483866
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	268.882	269.169	3483974
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	283.15	283.196	3483950
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	284.407	284.425	3483945
velev-pipe-o-uns-1.0-7.cnf	UNSAT	291.615	292.137	3483894
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	310.644	310.611	3483931
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	UNSAT	323.847	323.725	3483946
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	346.811	346.678	3483939
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	380.216	380.262	3483878
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	385.563	385.998	3483977
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	395.938	396.047	3483990
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	400.122	400.382	3484703
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	406.578	406.978	3483867
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	431.691	431.696	3483983
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	442.31	442.385	3483986
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	443.204	443.742	3483952
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	460.321	460.71	3484603
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	463.145	463.363	3483989
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	464.387	464.394	3483985
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	UNSAT	468.333	468.651	3483948
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	492.727	493.678	3483991
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	UNSAT	521.136	521.321	3483857
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	532.045	532.061	3483877
manol-pipe-c10nidw.cnf	UNSAT	536.572	536.99	3483837
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	589.395	589.558	3483928
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	UNSAT	631.987	631.963	3484683
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	UNSAT	643.166	643.461	3483978
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	UNSAT	650.431	650.477	3484687
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	UNSAT	671.92	671.363	3484602
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	UNSAT	780.823	780.595	3484681
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	UNSAT	830.554	829.668	3484679
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	UNSAT	833.854	834.092	3483966
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	871.896	872.649	3483907
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	UNSAT	906.328	907.537	3484648
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	UNSAT	1087.67	1087.75	3483917

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.38994	0.742795	3484673
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.435933	0.569689	3484674
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.460929	0.540948	3484678
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.512921	0.767535	3484625
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.537917	0.681967	3484675
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.597908	0.835571	3484690
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.659899	0.784049	3484676
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	1.71874	1.82722	3484691
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	4.39833	4.60108	3484624
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	4.64829	4.73429	3484682
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	7.1999	7.29098	3483888
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	9.47956	9.55626	3484669
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	9.69353	9.95464	3483886
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	11.4633	11.7217	3483896
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	15.7026	15.9215	3483944
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	16.0156	19.4892	3483863
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	16.2835	16.5267	3484657
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	20.1639	20.2582	3483900
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	23.7944	23.8827	3483897
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	27.0539	27.3275	3483898
ibm-2004-01-k90.cnf	SAT	32.1031	32.3434	3483843
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	33.2209	33.3158	3484634
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	33.7989	34.7836	3483875
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	56.0765	56.3417	3483959
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	57.2803	57.3814	3484645
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	66.1239	67.7808	3483835
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	67.3428	67.5993	3483953
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	72.8819	72.9561	3484633
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	78.718	78.9551	3483958
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	88.6225	96.1688	3483860
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	94.0557	94.8215	3483905
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	97.3052	97.7326	3483936
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	97.4772	97.557	3483882
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	SAT	99.2569	99.496	3483889
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	106.538	106.976	3483954
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	112.67	112.759	3483899
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	117.995	118.23	3483956
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	125.049	125.146	3484637
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	127.025	127.28	3483884
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	127.687	127.766	3484630
ibm-2002-21r-k95.cnf	SAT	150.476	150.654	3483895
application/manthey/ traffic/traffic_r_sat.cnf	SAT	155.888	155.984	3483988
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	159.91	160.01	3483901
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	177.884	177.985	3484694
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	177.927	178.126	3483942
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	181.656	181.909	3483883
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	191.549	195.495	3483865
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	195.493	195.577	3484665
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	212.89	213.881	3483938
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	237.598	237.833	3483910
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	240.807	240.941	3484666
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	256.293	256.432	3483879
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	269.24	269.276	3484636
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	271.825	272.81	3483870
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	SAT	304.71	304.959	3483951
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	316.33	316.432	3483940
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	SAT	320.601	320.716	3483805
velev-pipe-sat-1.0-b9.cnf	SAT	336.695	336.77	3483892
mizh-sha0-36-4.cnf	SAT	339.204	339.558	3483838
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	357.393	357.437	3483806
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	370.825	370.893	3483903
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	SAT	416.929	416.994	3483807
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	SAT	487.503	488.964	3483947
ibm-2004-23-k100.cnf	SAT	572.171	572.333	3483840
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	600.317	600.327	3483984
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	681.554	682.83	3483872
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	SAT	700.109	699.998	3484693
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	834.35	834.413	3483832
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	SAT	848.831	849.42	3483880
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	856.932	857.067	3483833
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	1074.78	1075.41	3483930
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	SAT	1087.35	1087.68	3483933
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	SAT	1092.34	1092.18	3484627
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	1129.89	1130.79	3483935
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	1194.77	1195.02	3483915

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	?	1178.98	1179.21	3483909

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	? (TO)	591.69	1300.01	3484670
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	? (TO)	773.98	1300.02	3484668
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	1200	1200.13	3483925
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	1200	1199.93	3484619
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200	1199.93	3483856
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	1200	1200.04	3484699
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	? (TO)	1200	1200.66	3484700
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	1200	1200.95	3484641
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	1200.01	1199.42	3484621
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	1200.01	1200.12	3484618
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	1200.01	1200.32	3484659
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	1200.01	1200.03	3484671
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	1200.01	1200.04	3483876
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	1200.01	1200.04	3483976
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	? (TO)	1200.01	1199.66	3484663
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	1200.01	1199.56	3484642
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	1200.01	1224.95	3483926
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	? (TO)	1200.01	1200.03	3484592
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	1200.01	1200.23	3484595
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	? (TO)	1200.01	1200.12	3484649
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	? (TO)	1200.01	1199.86	3483927
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	? (TO)	1200.01	1199.43	3484622
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	1200.02	1199.42	3484620
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.02	1200.52	3483821
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.02	1203.32	3483813
industrial/fuhs/hard/ AProVE07-03.cnf	? (TO)	1200.02	1203.33	3483814
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1200.02	1199.95	3483836
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	1200.02	1200.93	3483850
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	? (TO)	1200.02	1200.24	3484655
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	1200.02	1199.42	3484653
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.02	1200.33	3483881
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	1200.03	1200.23	3484613
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	1200.03	1199.43	3484606
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	1200.03	1199.63	3484614
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	1200.03	1200.06	3484698
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	? (TO)	1200.03	1200.13	3484607
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.03	1203.03	3483864
application/manthey/traffic/ traffic_3_uc_sat.cnf	? (TO)	1200.03	1199.73	3483987
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	1200.03	1199.54	3483908
SAT_RACE08/Q1/ SAT_dat.k85.cnf	? (TO)	1200.03	1200.33	3483834
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	1200.03	1199.83	3483852
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	1200.03	1199.82	3483924
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.04	1207.53	3483861
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	1200.04	1199.93	3483964
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.04	1200.03	3483849
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	? (TO)	1200.04	1200.26	3484696
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	1200.04	1200.24	3483921
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	1200.04	1200.25	3483906
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	1200.04	1198.43	3484601
ibm-2002-30r-k85.cnf	? (TO)	1200.05	1199.83	3483842
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	1200.05	1200.53	3484596
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.05	1203.43	3483862
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	1200.05	1200.53	3484597
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	1200.05	1200.53	3483982
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	1200.05	1199.73	3483965
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	1200.05	1201.33	3483826
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	1200.05	1201.93	3483828
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.05	1203.73	3483808
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	? (TO)	1200.05	1200.43	3483830
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	1200.05	1203.93	3484652
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	? (TO)	1200.06	1199.62	3484680
application/fuhs/ AProVE11/AProVE11-06.cnf	? (TO)	1200.06	1199.83	3483902
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	? (TO)	1200.06	1199.92	3483941
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	1200.06	1200.43	3484599
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	1200.06	1199.73	3483963
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	1200.06	1199.23	3484651
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	? (TO)	1200.06	1200.23	3484609
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	1200.06	1249.66	3484662
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	1200.06	1200.14	3484656
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	? (TO)	1200.06	1199.22	3484628
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	1200.06	1199.92	3484672
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	1200.07	1198.82	3484626
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	? (TO)	1200.07	1200.43	3484638
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	1200.07	1200.73	3483858
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	1200.07	1200.42	3483854
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	? (TO)	1200.07	1213.59	3483912
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	1200.07	1200.02	3484617
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	1200.07	1202.02	3483914
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	1200.07	1200.13	3484594
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	1200.07	1199.53	3484593
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	1200.07	1199.43	3483848
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.07	1203.68	3483815
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	1200.07	1199.93	3484623
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.07	1200.23	3483853
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.07	1199.42	3483847
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	1200.07	1199.95	3483918
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.07	1201.82	3483822
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	1200.07	1225.74	3483957
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	1200.07	1199.63	3484615
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.07	1190.82	3483885
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.07	1199.22	3483890
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	1200.07	1199.63	3484610
industrial/crypto/ mizh-sha0-36-2.cnf	? (TO)	1200.08	1203.64	3483823
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	1200.08	1201.03	3483825
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	? (TO)	1200.08	1200.83	3483829
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	? (TO)	1200.08	1222.58	3483913
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.08	1204.03	3483855
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	1200.08	1200.13	3484658
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	? (TO)	1200.08	1200.15	3484677
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	? (TO)	1200.08	1200.27	3484697
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	? (TO)	1200.08	1209.35	3484701
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1200.09	1203.13	3483809
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.09	1204.52	3483811
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	1200.09	1200.02	3484616
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	? (TO)	1200.09	1200.02	3484650
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	1200.09	1200.32	3484647
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1200.09	1200.86	3483831
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1200.09	1200.74	3483869
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	? (TO)	1200.09	1200.13	3484605
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	1200.09	1200.13	3484608
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	1200.09	1199.93	3483960
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	1200.09	1200.33	3484604
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	1200.09	1200.27	3484664
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	1200.1	1200.43	3484612
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	1200.1	1199.82	3483919
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.1	1199.92	3483887
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.1	1198.53	3483859
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	1200.1	1200.13	3484598
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.1	1200.13	3483844
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	1200.1	1200.14	3483851
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	1200.1	1203.43	3484600
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	1200.1	1200.93	3483827
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.1	1191.74	3483846
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	1200.1	1200.23	3484611
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	? (TO)	1200.11	1200.02	3484667
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.11	1203.72	3483810
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1200.11	1200.36	3483916
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	1200.12	1200.18	3483922
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1200.12	1205.57	3483929
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1200.12	1200.36	3483934
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	1200.12	1200.22	3484635
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	? (TO)	1200.13	1200.33	3484654
velev-npe-1.0-9dlx-b71.cnf	? (TO)	1200.2	1200.44	3483891
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (TO)	1200.29	1200.37	3483868

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (MO)	276.95	276.925	3483923
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (MO)	331.56	331.925	3483911
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	? (MO)	682.29	682.432	3483920
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (MO)	931.12	931.969	3483816
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (MO)	973.96	973.973	3483817

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

Result page for solver borg-sat 11.03.02-seq-industrial (fixed, 1200 s timeout) (complete)

Category "applications instances" (APPLICATION)

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

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

Solver didn't decide (UNKNOWN) (1 run) [Show/Hide]

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

Solver exceeded the memory limit (no solution given) (5 runs) [Show/Hide]