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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.025995	0.0262571	3371838
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.026995	0.0318059	3371839
SAT02/industrial/biere/ dinphil/dp04u03.shuffled.cnf	UNSAT	0.051991	0.0520451	3371818
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	0.736887	0.737555	3371820
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	0.824874	0.825782	3371819
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	1.14283	1.14438	3371827
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	1.26381	1.26463	3371823
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	1.34879	1.3494	3371822
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	1.83972	1.84039	3371826
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	2.55361	2.55559	3371841
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	2.71359	2.71708	3371821
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	2.88756	2.89057	3371840
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	UNSAT	3.9174	3.9203	3371837
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	4.03839	4.04064	3371956
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	5.63014	5.6308	3371830
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	5.77312	5.77375	3371952
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	6.39303	6.39342	3371829
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	6.46102	6.4643	3371828
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	9.00563	9.00587	3371824
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	10.1375	10.1377	3372002
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	12.966	12.9716	3371835
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	13.4949	13.5073	3371957
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	13.6439	13.6462	3371832
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	16.3995	16.3995	3371958
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	19.3081	19.3103	3371834
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	19.616	19.6173	3371831
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	19.622	19.6709	3371825
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	UNSAT	20.001	20.0044	3372021
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	20.035	20.0374	3371836
velev-pipe-o-uns-1.1-6.cnf	UNSAT	20.2559	20.2571	3371974
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	24.7302	24.7327	3371833
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	25.7751	25.7757	3372015
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	30.6163	30.6247	3371989
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	34.6307	34.6358	3371966
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	37.4653	37.5172	3371955
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	39.7949	39.795	3371971
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	40.6918	40.6935	3372004
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	40.9848	40.9873	3371972
manol-pipe-c6bidw_i.cnf	UNSAT	41.3537	41.3546	3371976
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	41.4977	41.4989	3372000
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	42.4395	42.4387	3371998
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	42.7405	42.7407	3371981
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	43.9183	43.9203	3371965
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	48.1037	48.1066	3371995
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	48.8616	48.8605	3372003
manol-pipe-f7nidw.cnf	UNSAT	52.706	52.7125	3371977
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	57.9502	57.9588	3371979
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	62.3865	62.3848	3371970
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	63.3814	63.3814	3371996
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	UNSAT	68.0457	68.0483	3371953
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	68.6196	68.6188	3371999
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	89.9783	89.9815	3372017
velev-pipe-o-uns-1.0-7.cnf	UNSAT	90.1503	90.1496	3371975
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	91.6551	91.6543	3372001
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	95.1565	95.3873	3371990
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	103.213	103.263	3371980
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	113.984	113.982	3371991
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	131.834	131.846	3371982
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	137.982	137.978	3372012
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	146.677	146.686	3371967
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	UNSAT	154.709	154.706	3371969
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	166.736	166.738	3371960
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	172.739	172.733	3371994
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	187.595	187.595	3371973
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	189.21	189.206	3371988
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	194.361	194.359	3371986
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	UNSAT	195.312	195.319	3371997
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	258.793	258.798	3371954
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	278.461	278.453	3372010
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	280.569	280.564	3371968
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	UNSAT	287.853	287.846	3371984
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	293.915	293.909	3372008
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	307.03	307.023	3372007
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	315.622	315.619	3372011
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	338.815	338.807	3372009
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	339.212	339.214	3372006
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	UNSAT	357.283	357.271	3371992
manol-pipe-c10nidw.cnf	UNSAT	405.475	405.632	3371978
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	555.209	555.195	3372014
industrial/fuhs/hard/ AProVE07-03.cnf	UNSAT	579.478	579.477	3371959
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	UNSAT	656.53	656.514	3371951
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	UNSAT	700.094	700.065	3371888
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	724.261	724.25	3371884
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	UNSAT	747.372	747.353	3372018
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	UNSAT	751.59	751.592	3371871
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	UNSAT	771.582	771.565	3371983
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	UNSAT	938.798	938.779	3372070
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	UNSAT	977.682	977.645	3372005
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	UNSAT	995.817	995.793	3371987
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	UNSAT	1015.28	1015.25	3371869
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	UNSAT	1060.62	1060.59	3371889
velev-vliw-uns-4.0-9-i1.cnf	UNSAT	1153.63	1159.42	3371886
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	UNSAT	1228.33	1228.3	3371877

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.008998	0.013275	3371901
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.009997	0.0100879	3371794
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.011998	0.013238	3371798
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.028995	0.03143	3371800
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.084986	0.0851679	3371816
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.123981	0.127225	3371799
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.164974	0.165058	3371795
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	0.573912	0.574794	3371934
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	0.866868	0.872294	3371796
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	1.14882	1.15146	3371916
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	1.3078	1.30861	3371917
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	1.9897	1.99109	3371797
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	4.34834	4.3693	3371801
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	4.51031	4.52556	3371803
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	4.69729	4.70192	3371895
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	4.78727	4.8371	3371814
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	8.26874	8.3194	3371802
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	8.91264	8.9345	3371805
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	9.8395	9.89379	3371811
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	13.9899	14.0019	3371806
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	15.1527	15.2669	3371944
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	15.3297	15.3673	3371813
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	15.9436	15.9711	3371812
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	18.2002	18.21	3371908
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	18.7541	18.7914	3371897
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	19.1571	19.2006	3371815
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	20.3439	20.364	3371804
velev-pipe-sat-1.0-b9.cnf	SAT	25.4071	25.4252	3371919
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	26.448	26.4873	3371807
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	27.6428	27.6634	3371923
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	35.5636	35.6363	3371926
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	39.625	39.6272	3371817
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	40.8538	40.8871	3371808
application/manthey/ traffic/traffic_r_sat.cnf	SAT	41.0868	41.1131	3371942
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	42.8825	42.8907	3371810
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	SAT	45.748	45.7481	3371853
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	45.936	45.9801	3371898
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	50.2294	50.367	3371809
ibm-2004-01-k90.cnf	SAT	50.5163	50.5371	3371920
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	50.6013	50.6056	3371937
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	51.6092	51.6184	3371909
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	51.9851	52.0245	3371912
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	53.7678	53.9847	3371947
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	59.213	59.2168	3371899
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	59.5769	59.7019	3371906
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	59.7609	59.7685	3371929
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	62.6975	62.6985	3371939
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	63.1554	63.3855	3371949
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	64.4522	64.492	3371913
velev-npe-1.0-9dlx-b71.cnf	SAT	64.5702	64.7726	3371854
ibm-2002-21r-k95.cnf	SAT	69.1915	69.246	3371918
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	70.0663	70.3266	3371950
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	77.1333	77.1663	3371907
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	79.5299	79.5758	3371930
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	81.7056	81.929	3371948
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	91.3131	91.4419	3371905
mizh-sha0-36-4.cnf	SAT	100.56	100.571	3372048
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	101.029	101.028	3371936
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	131.029	131.055	3371925
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	SAT	138.336	138.351	3371855
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	140.752	144.26	3371849
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	148.802	148.798	3371938
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	158.662	158.723	3371931
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	224.064	224.111	3371941
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	225.892	225.952	3371932
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	232.152	232.204	3371915
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	266.385	266.457	3371914
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	300.337	300.405	3371902
ibm-2004-23-k100.cnf	SAT	377.644	377.68	3371921
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	SAT	388.46	388.486	3371857
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	408.244	408.241	3371900
ibm-2002-30r-k85.cnf	SAT	505.767	505.83	3371922
industrial/crypto/ mizh-sha0-36-2.cnf	SAT	514.709	514.719	3372032
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	539.309	539.292	3371940
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	612.414	612.413	3371910
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	SAT	613.19	613.207	3371928
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	SAT	663.294	663.833	3371845
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	SAT	707.98	708	3371856
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	821.073	821.135	3371943

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	1297.82	1300.02	3371844
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	? (TO)	1299.86	1300.02	3371933
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	? (TO)	1299.87	1300.01	3371868
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	1299.96	1300.02	3371896
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	1299.98	1300.02	3371894
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1299.98	1300.02	3372031
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	1299.98	1300.01	3372080
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	1299.98	1300.02	3372023
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1299.99	1300.03	3371852
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1299.99	1300.02	3371878
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	1299.99	1300.02	3372065
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	? (TO)	1299.99	1300.02	3371842
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	1299.99	1300.03	3372059
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1300	1300.02	3371847
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	1300	1300.02	3371964
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	? (TO)	1300	1300.02	3371903
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	1300	1300.02	3372071
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1300.01	1300.03	3371881
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	1300.01	1300.02	3372062
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	1300.01	1300.03	3372087
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	1300.01	1300.02	3371893
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	1300.01	1300.02	3372091
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	1300.02	1300.02	3372075
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	? (TO)	1300.02	1300.03	3371865
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	1300.02	1300.03	3372036
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1300.02	1300.02	3372044
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	1300.02	1300.03	3372089
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	1300.02	1300.02	3371883
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	1300.03	1300.02	3372072
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	1300.03	1300.06	3371864
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	? (TO)	1300.03	1300.02	3371843
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1300.03	1300.03	3371846
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1300.04	1300.02	3372042
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	1300.04	1300.02	3372022
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.04	1300.05	3371863
SAT_RACE08/Q1/ SAT_dat.k85.cnf	? (TO)	1300.04	1300.02	3371924
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	1300.04	1300.02	3372050
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	1300.04	1300.02	3372043
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	1300.04	1300.03	3372088
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	? (TO)	1300.04	1300.02	3372067
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1300.04	1300.01	3371911
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1300.04	1300.02	3371850
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	? (TO)	1300.04	1300.03	3372016
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	1300.05	1300.03	3372030
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	? (TO)	1300.05	1300.03	3371890
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	? (TO)	1300.05	1300.02	3372020
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	1300.05	1300.02	3372019
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	? (TO)	1300.05	1300.02	3371870
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	1300.05	1300.02	3372024
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	? (TO)	1300.05	1300.02	3371866
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	1300.05	1300.02	3372058
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	1300.05	1300.02	3372053
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	1300.05	1300.01	3372052
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	1300.05	1300.02	3372055
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	1300.05	1300.03	3372063
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	1300.05	1300.02	3372057
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	1300.05	1300.03	3372061
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	1300.05	1300.02	3372056
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	1300.05	1300.02	3372066
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	1300.05	1300.02	3372068
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	1300.05	1300.02	3371892
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	? (TO)	1300.05	1300.01	3371858
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	1300.05	1300.01	3372077
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	1300.05	1300.01	3372078
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	? (TO)	1300.05	1300.01	3371935
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	1300.05	1300.02	3372079
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	1300.05	1300.02	3372081
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	1300.05	1300.02	3372076
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	1300.05	1300.01	3372073
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	1300.05	1300.01	3372074
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	1300.05	1300.02	3372090
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	1300.05	1300.03	3372086
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	? (TO)	1300.05	1300.05	3371945
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	1300.05	1300.03	3371859
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	1300.05	1300.02	3372013
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1300.05	1300.02	3372046
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1300.05	1300.02	3371885
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1300.05	1300.02	3371851
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1300.05	1300.02	3371848
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1300.05	1300.02	3371874
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1300.05	1300.02	3371875
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1300.05	1300.02	3371876
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	? (TO)	1300.05	1300.02	3371904
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	1300.05	1300.02	3371961
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	1300.05	1300.02	3371962
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1300.05	1300.02	3372033
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1300.05	1300.02	3372034
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1300.05	1300.03	3372035
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	1300.05	1300.03	3372039
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1300.05	1300.02	3372040
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1300.06	1300.02	3371882
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	1300.06	1300.02	3372064
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1300.06	1300.02	3371873
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1300.06	1300.02	3372037
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	1300.06	1300.02	3372038
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	1300.06	1300.04	3371887
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	1300.06	1300.02	3372054
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1300.06	1300.02	3371879
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1300.06	1300.02	3371880
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	1300.06	1300.02	3372025
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	1300.06	1300.03	3372041
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	1300.06	1300.02	3371963
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	1300.06	1300.03	3372084
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	1300.06	1300.03	3372083
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	1300.06	1300.03	3371993
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.06	1300.03	3371862
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	1300.06	1300.03	3372028
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1300.06	1300.02	3372047
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	1300.06	1300.02	3372045
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	? (TO)	1300.06	1300.02	3371927
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	1300.06	1300.02	3372027
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	1300.07	1300.02	3372051
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.07	1300.04	3372093
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	1300.07	1300.03	3371860
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	? (TO)	1300.07	1300.05	3371985
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	1300.07	1300.01	3372029
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	1300.07	1300.02	3372060
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	1300.07	1300.03	3372026
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	1300.07	1300.02	3371867
application/fuhs/ AProVE11/AProVE11-06.cnf	? (TO)	1300.07	1300.02	3371891
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	1300.07	1300.03	3371872
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	1300.07	1300.02	3372069
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	? (TO)	1300.08	1300.04	3371946
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	1300.08	1300.08	3371861
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	1300.08	1300.03	3372049
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	1300.08	1300.03	3372082
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.09	1300.04	3372092
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	1300.09	1300.05	3372085

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3500_3500_30f1.shuffled.cnf	UNSAT	0.013997	0.0171241	3371579
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.067988	0.068383	3371587
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	0.145977	0.145979	3371581
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	UNSAT	0.311951	0.316252	3371706
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	0.522919	0.522876	3371588
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.830873	0.842052	3371586
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	1.49677	1.49719	3371583
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	1.67074	1.6699	3371582
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	2.04469	2.05893	3371585
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	UNSAT	2.85556	2.85847	3371584
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	UNSAT	5.63514	5.6367	3371720
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	5.9131	5.91352	3371580
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	18.6102	18.6137	3371589
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	27.4678	27.4716	3371700
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	UNSAT	56.4244	56.4312	3371721
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	UNSAT	84.1872	84.1878	3371722
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	101.728	101.726	3371707
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	240.754	240.749	3371725
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	288.571	288.565	3371702
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	296.251	296.247	3371715
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	311.527	311.518	3371714
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	370.991	370.983	3371704
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	382.235	382.239	3371712
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	UNSAT	833.494	833.474	3371717
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	UNSAT	918.686	918.695	3371638
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	UNSAT	929.528	929.506	3371652
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	UNSAT	1001.93	1001.97	3371716

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.002999	0.0148621	3371576
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.004998	0.0133831	3371577
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	0.006998	0.010423	3371578
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	0.008998	0.0108941	3371692
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.009998	0.0136279	3371561
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	0.011997	0.0132071	3371693
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.015997	0.0169121	3371562
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.018997	0.023776	3371563
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.019996	0.0217031	3371564
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.022996	0.027027	3371565
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	0.032994	0.0388399	3371695
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.033993	0.0344681	3371566
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.079986	0.0801011	3371553
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.079987	0.0824441	3371559
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.097984	0.099533	3371557
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.12798	0.129282	3371567
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.175972	0.1806	3371560
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.187971	0.189298	3371570
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	0.204967	0.20564	3371554
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.208967	0.209182	3371568
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.215967	0.21623	3371569
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.246961	0.248073	3371572
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.268959	0.273526	3371571
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.341947	0.342467	3371573
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	0.625903	0.627714	3371666
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	0.665898	0.665749	3371574
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	0.683895	0.683352	3371575
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	1.04784	1.05374	3371555
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	SAT	1.53477	1.53689	3371686
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	1.87371	1.88539	3371789
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	2.02069	2.02557	3371558
crafted/mosoi/289/ 289-unsat-6x30.cnf	SAT	3.39448	3.39867	3371531
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	3.87541	3.87751	3371688
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	4.08938	4.09724	3371691
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	SAT	9.10062	9.10229	3371697
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	SAT	11.7162	11.7161	3371677
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	13.5979	13.6009	3371690
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	SAT	13.6059	13.6169	3371673
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	17.0704	17.0714	3371689
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	17.4343	17.4368	3371687
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	25.1732	25.176	3371694
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	31.6662	31.6667	3371674
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	41.0518	41.056	3371680
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	41.1737	41.1762	3371556
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	SAT	83.1574	83.1555	3371623
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	SAT	85.461	85.4613	3371696
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	SAT	88.2116	88.211	3371699
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	99.3059	99.3043	3371664
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	SAT	171.809	171.809	3371675
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	SAT	172.862	172.857	3371615
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	209.662	209.669	3371669
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	210.187	210.185	3371672
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	215.688	215.695	3371661
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	SAT	241.016	241.018	3371678
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	248.038	248.032	3371679
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	SAT	260.66	260.652	3371624
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT	357.329	357.332	3371607
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	371.099	371.11	3371792
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	447.952	447.941	3371668
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	652.446	652.437	3371665
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	SAT	687.587	687.573	3371593
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	SAT	950.907	950.885	3371594

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	1299.52	1300.02	3371647
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	1299.75	1300.02	3371655
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	1299.84	1300.03	3371539
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	1299.96	1300.02	3371772
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	? (TO)	1299.97	1300.02	3371642
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	? (TO)	1299.98	1300.03	3371613
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	? (TO)	1299.98	1300.02	3371602
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	? (TO)	1299.98	1300.03	3371595
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	1299.98	1300.02	3371754
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	1299.99	1300.02	3371768
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	? (TO)	1299.99	1300.02	3371590
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	1299.99	1300.02	3371741
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	1299.99	1300.02	3371748
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	1300	1300.02	3371546
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	1300	1300.02	3371763
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	1300	1300.02	3371773
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	1300	1300.02	3371787
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	1300	1300.02	3371520
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	1300	1300.01	3371784
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	1300	1300.01	3371737
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	? (TO)	1300	1300.01	3371713
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	1300	1300.03	3371743
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	1300.01	1300.02	3371749
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	1300.01	1300.01	3371660
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	1300.01	1300.02	3371519
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	1300.01	1300.03	3371552
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	1300.01	1300.03	3371500
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	? (TO)	1300.01	1300.02	3371598
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	1300.01	1300.02	3371777
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	1300.02	1300.02	3371549
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	1300.02	1300.03	3371629
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	1300.02	1300.03	3371505
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1300.02	1300.02	3371747
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	1300.02	1300.03	3371513
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	1300.03	1300.02	3371750
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	1300.03	1300.02	3371788
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	1300.03	1300.03	3371542
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	1300.03	1300.01	3371736
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	? (TO)	1300.03	1300.02	3371591
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	1300.03	1300.02	3371548
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	? (TO)	1300.03	1300.02	3371723
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	1300.03	1300.01	3371656
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	1300.03	1300.02	3371751
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	1300.03	1300.02	3371512
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	1300.03	1300.03	3371705
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	1300.03	1300.02	3371631
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	1300.03	1300.01	3371726
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	1300.04	1300.01	3371528
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	1300.04	1300.01	3371525
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	1300.04	1300.01	3371526
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	1300.04	1300.01	3371527
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	? (TO)	1300.04	1300.02	3371599
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	? (TO)	1300.04	1300.02	3371667
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	? (TO)	1300.04	1300.02	3371779
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	1300.04	1300.01	3371783
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	? (TO)	1300.04	1300.02	3371514
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	1300.04	1300.02	3371521
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	1300.04	1300.02	3371518
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	1300.04	1300.02	3371732
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	? (TO)	1300.04	1300.01	3371708
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	? (TO)	1300.04	1300.02	3371709
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	? (TO)	1300.04	1300.02	3371547
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	1300.04	1300.02	3371790
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	? (TO)	1300.04	1300.02	3371648
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	? (TO)	1300.04	1300.03	3371619
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	1300.04	1300.02	3371540
crafted/spence/ hard/s113-100.cnf	? (TO)	1300.04	1300.01	3371651
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	1300.04	1300.02	3371761
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	1300.04	1300.03	3371742
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	1300.04	1300.02	3371617
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	1300.04	1300.02	3371765
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	1300.04	1300.02	3371758
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	? (TO)	1300.04	1300.02	3371641
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	1300.04	1300.03	3371611
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	1300.04	1300.02	3371604
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	1300.04	1300.01	3371793
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	1300.04	1300.02	3371738
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	1300.04	1300.01	3371529
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	? (TO)	1300.04	1300.01	3371622
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	1300.04	1300.01	3371524
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	1300.04	1300.01	3371791
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	1300.04	1300.02	3371701
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	? (TO)	1300.04	1300.02	3371639
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	? (TO)	1300.04	1300.02	3371600
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	? (TO)	1300.05	1300.02	3371711
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	? (TO)	1300.05	1300.01	3371719
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	? (TO)	1300.05	1300.01	3371718
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	? (TO)	1300.05	1300.01	3371682
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	? (TO)	1300.05	1300.02	3371662
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	? (TO)	1300.05	1300.02	3371603
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	1300.05	1300.02	3371645
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	1300.05	1300.01	3371644
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	? (TO)	1300.05	1300.01	3371643
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	1300.05	1300.04	3371507
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	1300.05	1300.02	3371734
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	1300.05	1300.02	3371735
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	1300.05	1300.03	3371632
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	1300.05	1300.02	3371625
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	1300.05	1300.02	3371731
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	? (TO)	1300.05	1300.01	3371637
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	1300.05	1300.02	3371730
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	1300.05	1300.02	3371733
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	? (TO)	1300.05	1300.02	3371649
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	? (TO)	1300.05	1300.02	3371710
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	? (TO)	1300.05	1300.02	3371650
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	1300.05	1300.02	3371740
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	1300.05	1300.03	3371646
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	1300.05	1300.02	3371516
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	1300.05	1300.01	3371515
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	1300.05	1300.02	3371530
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	1300.05	1300.02	3371551
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	1300.05	1300.01	3371659
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	1300.05	1300.03	3371535
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	1300.05	1300.03	3371538
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	1300.05	1300.02	3371786
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	1300.05	1300.01	3371781
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	? (TO)	1300.05	1300.02	3371778
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	1300.05	1300.01	3371523
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	1300.05	1300.01	3371522
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	? (TO)	1300.05	1300.02	3371683
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	? (TO)	1300.05	1300.02	3371684
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	1300.05	1300.02	3371517
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	1300.05	1300.02	3371753
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	? (TO)	1300.05	1300.02	3371608
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	1300.05	1300.02	3371756
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	? (TO)	1300.05	1300.02	3371614
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	1300.05	1300.01	3371766
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	1300.05	1300.02	3371759
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	1300.05	1300.02	3371762
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1300.05	1300.02	3371653
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	1300.05	1300.02	3371757
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1300.05	1300.02	3371606
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1300.05	1300.02	3371746
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	1300.06	1300.02	3371616
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1300.06	1300.02	3371760
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	1300.06	1300.02	3371764
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	1300.06	1300.03	3371543
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	1300.06	1300.03	3371545
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	1300.06	1300.03	3371633
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	1300.06	1300.03	3371498
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	? (TO)	1300.06	1300.03	3371501
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	1300.06	1300.03	3371605
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	1300.06	1300.03	3371537
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	1300.06	1300.03	3371494
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	? (TO)	1300.06	1300.02	3371596
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	1300.06	1300.04	3371544
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	1300.06	1300.02	3371534
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	1300.06	1300.03	3371536
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	? (TO)	1300.06	1300.02	3371724
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	1300.06	1300.04	3371499
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	1300.06	1300.04	3371508
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1300.06	1300.02	3371769
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	? (TO)	1300.06	1300.03	3371597
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	1300.06	1300.02	3371739
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	1300.06	1300.02	3371776
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	? (TO)	1300.06	1300.02	3371775
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (TO)	1300.06	1300.02	3371663
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	1300.06	1300.04	3371744
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	? (TO)	1300.06	1300.02	3371698
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	1300.06	1300.02	3371780
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	1300.06	1300.03	3371670
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	1300.06	1300.02	3371752
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	? (TO)	1300.06	1300.02	3371627
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	1300.06	1300.01	3371782
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	1300.06	1300.02	3371550
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	? (TO)	1300.06	1300.02	3371612
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	? (TO)	1300.06	1300.02	3371609
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	? (TO)	1300.06	1300.02	3371610
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	1300.06	1300.03	3371504
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	1300.06	1300.04	3371496
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	? (TO)	1300.06	1300.03	3371676
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	1300.06	1300.02	3371771
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	1300.06	1300.02	3371785
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	1300.06	1300.03	3371654
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	? (TO)	1300.06	1300.02	3371620
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	1300.06	1300.03	3371533
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	1300.06	1300.02	3371770
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	1300.06	1300.03	3371727
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	1300.07	1300.02	3371774
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	1300.07	1300.03	3371630
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	1300.07	1300.03	3371626
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	1300.07	1300.03	3371628
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	1300.07	1300.02	3371640
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	? (TO)	1300.07	1300.03	3371618
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	? (TO)	1300.07	1300.02	3371681
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	? (TO)	1300.07	1300.02	3371658
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	1300.07	1300.02	3371657
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	? (TO)	1300.07	1300.03	3371601
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	1300.07	1300.03	3371509
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	1300.07	1300.03	3371503
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	? (TO)	1300.07	1300.02	3371592
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	1300.07	1300.03	3371703
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	1300.07	1300.02	3371755
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	1300.07	1300.05	3371502
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	1300.07	1300.02	3371767
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	1300.07	1300.04	3371541
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	1300.07	1300.05	3371532
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	1300.07	1300.02	3371636
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	1300.07	1300.03	3371728
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	1300.07	1300.02	3371635
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	? (TO)	1300.08	1300.02	3371621
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	? (TO)	1300.08	1300.02	3371497
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	1300.08	1300.04	3371495
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	? (TO)	1300.08	1300.02	3371671
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	? (TO)	1300.08	1300.02	3371685
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	1300.08	1300.02	3371634
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	1300.08	1300.03	3371729
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1300.08	1300.03	3371745
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	1300.08	1300.03	3371510
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	1300.09	1300.03	3371506
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	1300.1	1300.04	3371511

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

Result page for solver Lingeling 587f (fixed) (complete)

Category "applications instances" (APPLICATION)

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

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

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

Category "crafted instances" (CRAFTED)

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

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

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