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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/industrial/biere/ dinphil/dp04u03.shuffled.cnf	UNSAT	0.005999	0.0183061	3420227
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.009997	0.018214	3420129
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.010997	0.0287021	3420131
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	0.117981	0.118937	3420211
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	0.206968	0.20761	3419733
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	0.448931	0.449213	3419681
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	0.529919	0.531168	3419683
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	0.598908	0.603239	3419987
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	0.625904	0.627928	3419989
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	0.744886	0.744908	3420003
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	0.758884	0.759015	3419981
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	0.785879	0.786722	3420215
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	1.00585	1.01651	3420123
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	1.24981	1.25077	3420107
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	2.24566	2.24717	3419977
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	2.90156	2.90218	3420249
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	2.96355	2.96448	3419993
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	4.06338	4.06423	3419789
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	4.21436	4.21436	3420247
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	4.31634	4.31657	3420001
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	4.66929	4.66908	3420121
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	5.57715	5.5791	3419985
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	5.61015	5.61297	3419943
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	6.582	6.58298	3419979
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	8.91764	8.91871	3419967
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	10.9223	10.9237	3419953
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	11.5652	11.5785	3420163
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	12.5911	12.5933	3419929
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	13.9819	13.9814	3419905
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	15.3057	15.3171	3419851
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	15.6606	15.6627	3419941
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	15.8326	15.8334	3419925
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	18.5652	18.5657	3419679
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	18.9001	18.9019	3420101
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	19.756	19.7573	3420245
manol-pipe-c6bidw_i.cnf	UNSAT	26.9349	26.9346	3419721
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	29.0396	29.0431	3419947
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	30.3034	30.3141	3420165
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	31.5932	31.5932	3420105
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	35.5356	35.5357	3420135
manol-pipe-f7nidw.cnf	UNSAT	39.0121	39.0143	3419725
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	39.392	39.4148	3419791
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	39.8379	39.8373	3419691
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	43.6574	43.6569	3419777
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	45.776	45.7752	3420233
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	46.9029	46.902	3420213
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	54.7467	54.8091	3419651
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	59.35	59.3486	3419933
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	62.6455	62.6555	3419785
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	83.4803	83.4978	3419991
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	89.0565	89.0544	3419907
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	96.3274	96.3276	3419781
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	UNSAT	102.587	102.644	3420209
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	105.367	105.367	3419775
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	107.832	107.831	3419857
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	108.792	108.79	3419983
velev-pipe-o-uns-1.0-7.cnf	UNSAT	111.7	111.696	3419831
velev-pipe-o-uns-1.1-6.cnf	UNSAT	117.1	117.101	3419829
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	144.245	144.263	3419667
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	163.122	163.118	3420005
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	164.549	164.546	3420221
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	288.675	288.68	3419899
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	307.492	307.483	3419917
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	UNSAT	317.286	317.282	3420217
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	321.822	321.836	3419997
manol-pipe-c10nidw.cnf	UNSAT	321.902	321.901	3419717
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	UNSAT	337.267	337.3	3419699
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	339.89	339.881	3420049
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	351.195	351.186	3419799
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	366.775	366.779	3420009
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	UNSAT	368.123	368.116	3419697
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	UNSAT	382.601	382.622	3419695
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	393.559	393.56	3420023
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	418.752	418.74	3420015
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	438.232	438.218	3420021
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	444.715	444.703	3420013
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	496.247	496.235	3420025
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	UNSAT	532.454	532.443	3419693
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	UNSAT	588.006	587.994	3420113
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	UNSAT	606.14	606.124	3420119
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	UNSAT	610.896	610.881	3419757
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	771.185	771.173	3419921
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	781.016	780.995	3419797
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	UNSAT	874.828	874.807	3419939
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	UNSAT	977.211	977.208	3419813
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	UNSAT	1006.87	1006.86	3420153
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	UNSAT	1058.19	1058.17	3419975
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	UNSAT	1071.83	1071.8	3419897
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	UNSAT	1103.2	1103.17	3419731
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	UNSAT	1275.22	1275.19	3419999
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	UNSAT	1683.09	1683.05	3420237
industrial/fuhs/hard/ AProVE07-03.cnf	UNSAT	1709.79	1709.73	3419671
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	UNSAT	1771.37	1771.31	3420243
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	UNSAT	1871.05	1871	3419761
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	UNSAT	1931.51	1931.49	3420235
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	UNSAT	2049.9	2049.85	3420151
application/fuhs/ AProVE11/AProVE11-06.cnf	UNSAT	2063.36	2063.29	3419847
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	UNSAT	2144.4	2144.35	3419869
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	UNSAT	3228.41	3228.33	3419795
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	UNSAT	3229.7	3229.62	3419935
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	UNSAT	3519.65	3519.58	3419877
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	UNSAT	3533.26	3533.16	3419735
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	UNSAT	3910.84	3910.78	3419687
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	UNSAT	4672.05	4671.94	3419745

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.002998	0.015271	3420189
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.003998	0.00588094	3420199
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.003998	0.015395	3420191
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.006998	0.018973	3420223
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.007997	0.0153331	3420193
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.007998	0.01666	3420093
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.017997	0.0184571	3420195
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	0.102983	0.102969	3420225
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	0.353945	0.356628	3420207
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	0.419935	0.421229	3419835
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	0.58291	0.583007	3419931
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	0.741886	0.743284	3419819
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	0.746885	0.747211	3419843
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	0.871866	0.873757	3419951
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	1.05484	1.05562	3419839
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	1.09383	1.09425	3419815
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	1.15682	1.16162	3419793
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	SAT	1.22281	1.22575	3419945
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	1.2978	1.29912	3419949
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	1.48177	1.48336	3419961
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	1.59476	1.59762	3419959
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	1.9557	1.95522	3420181
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	2.12568	2.13817	3419955
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	2.48062	2.48153	3420157
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	3.53046	3.54639	3419853
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	3.59345	3.60689	3420091
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	3.84142	3.84453	3419811
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	6.28204	6.28291	3419841
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	6.557	6.57184	3419845
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	6.70298	6.70399	3419849
ibm-2002-21r-k95.cnf	SAT	8.01978	8.01979	3419833
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	10.9963	10.9994	3419863
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	11.2993	11.2998	3420111
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	13.7569	13.7682	3419769
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	15.2347	15.2357	3419837
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	16.4395	16.4402	3419713
application/manthey/ traffic/traffic_r_sat.cnf	SAT	17.8713	17.8741	3420019
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	26.354	26.3545	3419783
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	34.8797	34.8801	3419867
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	39.9189	39.9191	3420173
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	40.5408	40.5709	3419903
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	41.3917	41.3941	3420175
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	47.5118	47.5113	3419763
ibm-2004-01-k90.cnf	SAT	48.2377	48.2419	3419729
industrial/crypto/ mizh-sha0-36-2.cnf	SAT	54.1288	54.1277	3419689
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	54.5047	54.5255	3419779
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	67.0378	67.0389	3419807
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	75.8745	75.8727	3419709
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	76.1104	76.1114	3419707
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	77.2183	77.2224	3419809
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	79.083	79.0812	3419927
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	85.645	85.6439	3419913
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	96.3214	96.3209	3419919
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	99.5359	99.5337	3419923
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	105.011	105.006	3420109
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	105.096	105.095	3420231
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	111.776	111.773	3420117
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	112.002	112.04	3419873
velev-pipe-sat-1.0-b9.cnf	SAT	125.019	125.137	3419827
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	131.98	132.024	3420133
ibm-2004-23-k100.cnf	SAT	133.353	133.35	3419723
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	187.999	188.022	3419915
velev-npe-1.0-9dlx-b71.cnf	SAT	275.508	275.601	3419825
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	SAT	276.718	276.71	3420197
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	279.471	279.463	3420011
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	314.229	314.265	3419703
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	356.17	356.16	3419801
ibm-2002-30r-k85.cnf	SAT	360.312	360.319	3419727
SAT_RACE08/Q1/ SAT_dat.k85.cnf	SAT	363.971	363.964	3419711
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	SAT	391.067	391.05	3419771
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	SAT	408.167	408.17	3420057
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	SAT	514.427	514.415	3420229
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	560.161	560.236	3419787
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	SAT	653.494	653.48	3419821
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	SAT	768.544	768.521	3420061
mizh-sha0-36-4.cnf	SAT	776.475	776.456	3419719
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	SAT	820.591	820.567	3420099
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	859.276	859.251	3419655
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	876.401	876.376	3420179
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	972.184	972.145	3420017
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	1065.89	1065.85	3420115
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	1080.75	1080.73	3420103
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	1089.88	1089.85	3419677
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	1181.21	1181.19	3419773
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	SAT	1183.1	1183.09	3419937
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	SAT	1373.96	1373.92	3419909
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	SAT	1463.52	1463.48	3420027
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT	1733.5	1733.46	3419701
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	SAT	1882.35	1882.28	3420053
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	SAT	2127.53	2127.48	3420177
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	SAT	2181.83	2181.79	3419883
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	SAT	2609.76	2609.81	3419805
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	SAT	2638.07	2638	3419803
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	SAT	2647.1	2647.16	3420187
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	SAT	2695.5	2695.42	3419861
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	SAT	3033.57	3033.43	3420087
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	SAT	4768.12	4768.07	3420045

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	5000.03	5000.02	3420095
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	? (TO)	5000.03	4999.81	3420201
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	5000.04	4999.92	3420085
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	5000.04	4999.92	3419759
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	? (TO)	5000.04	4999.81	3420203
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	? (TO)	5000.05	4999.83	3420183
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	5000.05	4999.93	3419749
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	5000.05	4999.93	3419751
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	5000.05	4999.92	3420079
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	5000.05	4999.92	3419767
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	? (TO)	5000.05	4999.92	3420141
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	5000.05	4999.93	3420145
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	5000.05	4999.93	3420149
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	5000.05	4999.93	3420051
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	5000.05	4999.93	3420041
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	5000.05	4999.93	3420039
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	5000.06	4999.83	3420065
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	5000.06	4999.94	3420007
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	5000.06	4999.93	3419817
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	5000.06	4999.93	3419973
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	5000.06	4999.83	3419661
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	5000.06	4999.95	3419963
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	5000.06	4999.82	3420205
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	5000.06	4999.93	3419969
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	5000.06	4999.92	3420069
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	? (TO)	5000.06	4999.92	3420143
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	5000.07	4999.92	3419741
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	5000.07	4999.93	3420081
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	5000.07	4999.93	3420063
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	5000.07	4999.92	3420033
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	5000.07	4999.92	3420185
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	5000.07	4999.92	3420161
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	5000.07	4999.86	3420125
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	5000.07	4999.92	3420089
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	? (TO)	5000.07	4999.92	3419965
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	5000.07	5000.12	3419737
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	5000.07	4999.92	3419685
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	5000.07	4999.93	3419675
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	5000.07	4999.93	3419669
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	5000.08	4999.94	3419957
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	5000.08	4999.93	3419995
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	5000.08	4999.93	3419755
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	? (TO)	5000.08	4999.93	3420219
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	5000.08	4999.93	3420077
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	? (TO)	5000.09	4999.93	3420047
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	5000.09	5000.03	3420067
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	5000.09	4999.93	3420071
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	5000.09	5000.03	3420137
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	5000.09	4999.95	3419663
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	5000.09	5000.02	3419823
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	5000.09	4999.93	3420037
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	5000.09	4999.95	3419659
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	5000.1	4999.96	3420127
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	5000.1	5000.23	3420083
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	5000.1	5000.03	3420139
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	5000.1	5000.03	3420073
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	5000.1	4999.93	3420043
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	5000.1	4999.94	3420159
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	5000.1	4999.94	3419739
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	5000.11	4999.95	3419753
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	5000.11	4999.92	3420097
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	5000.11	5000.03	3420035
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	5000.11	4999.93	3419673
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	5000.11	5000.03	3419971
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	5000.11	4999.93	3420055
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	5000.11	4999.92	3419765
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	5000.11	5000.03	3420031
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	5000.11	4999.93	3420075
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	5000.12	5000.02	3419743
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	5000.12	4999.93	3420059
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	5000.13	4999.97	3419881
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	5000.13	4999.93	3419665
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	5000.13	5000.04	3420147
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	5000.13	5000.04	3420155
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	5000.13	4999.96	3419747
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	5000.13	5000.03	3420029
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	? (TO)	5000.14	4999.93	3420169
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	5000.15	5000.02	3420171
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	5000.15	4999.94	3420241
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	5000.15	5000.02	3420167
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	5000.17	4999.93	3419653
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	5000.17	5000.01	3419657
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	5000.18	5000.12	3419705
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	5000.18	5000.11	3419891
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	5000.19	5000.04	3419715
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	5000.2	5000.05	3420239
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	5000.26	5000.14	3419893
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	5000.27	5000.31	3419859
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	5000.27	5000.04	3419865
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	5000.28	5000.17	3419885
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	5000.29	5000.14	3419871
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	5000.29	5000.15	3419889
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	5000.3	5000.11	3419879
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	5000.32	5000.17	3419855
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	5000.35	5000.17	3419895
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	5000.4	5000.27	3419887
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	5000.41	5000.4	3419901
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	5000.41	5000.29	3419875
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	5000.43	5000.31	3419911

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3500_3500_30f1.shuffled.cnf	UNSAT	0.004999	0.0173049	3421374
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.049991	0.053337	3421112
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	0.174972	0.175388	3421128
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.296954	0.29855	3421366
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	UNSAT	0.432933	0.433396	3421338
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	0.896862	0.898556	3421328
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	1.02784	1.02766	3421324
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	1.21581	1.21688	3421104
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	3.54546	3.54631	3421274
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	10.4814	10.4816	3421276
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	11.2093	11.2089	3421376
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	38.5181	38.5179	3421370
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	112.479	112.475	3421394
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	165.049	165.051	3421182
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	203.681	203.675	3421174
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	UNSAT	258.518	258.524	3421080
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	UNSAT	277.529	277.525	3421098
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	303.686	303.679	3421212
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	452.51	452.496	3421392
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	491.307	491.331	3421272
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	UNSAT	503.674	503.673	3421088
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	UNSAT	521.945	521.932	3421340
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	UNSAT	552.725	552.752	3421162
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	UNSAT	564.688	564.666	3421180
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	UNSAT	576.374	576.361	3421082
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	UNSAT	735.272	735.256	3421116
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	854.252	854.228	3421120
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	UNSAT	1131.35	1131.32	3421184
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	UNSAT	1959.06	1959	3421200
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	UNSAT	3279.2	3279.13	3421362
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	UNSAT	3587.3	3587.17	3421190
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	UNSAT	4234.42	4234.29	3420866
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	UNSAT	4400.09	4399.92	3421364
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	UNSAT	4652.24	4652.13	3421188
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	UNSAT	4859.18	4859.07	3421230

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.001999	0.0189681	3421100
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.002999	0.0153439	3421134
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.003999	0.0190579	3421018
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.005998	0.0202459	3421048
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	0.005998	0.0180521	3421132
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.007997	0.020149	3421046
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.008997	0.019086	3421062
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.008997	0.0188711	3421058
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.010997	0.013918	3421068
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.010997	0.0174981	3421372
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.015996	0.016935	3420872
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	0.023996	0.0240341	3421140
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.026995	0.028615	3421360
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.032994	0.0331599	3421368
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.041992	0.0462779	3421066
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.05699	0.0570589	3421012
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.05999	0.0605801	3421032
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	0.061989	0.0635479	3421122
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.06299	0.063462	3421044
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.064989	0.0649881	3421038
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.079987	0.084456	3421034
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.082986	0.0832491	3421020
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	0.162974	0.163744	3421108
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	0.204968	0.204841	3421054
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	0.218966	0.220292	3421024
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	0.439932	0.440068	3421348
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	1.11283	1.11418	3421094
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	1.82072	1.82146	3421000
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	2.95455	2.95692	3421292
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	3.80042	3.80243	3421290
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	5.46017	5.46146	3421070
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	7.75982	7.75923	3420860
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	9.01763	9.01914	3420864
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	12.6821	12.6818	3421418
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	SAT	14.0299	14.0295	3421166
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	SAT	14.6328	14.6329	3420972
crafted/mosoi/289/ 289-unsat-6x30.cnf	SAT	14.9657	14.9663	3421016
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	17.3894	17.3889	3421302
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	18.1762	18.1778	3421006
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	21.5937	21.5948	3421138
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	22.2056	22.2082	3421086
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	37.1454	37.1458	3421072
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	39.628	39.63	3420884
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	66.6649	66.662	3420892
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	77.5082	77.5062	3421090
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	SAT	84.2792	84.2779	3421124
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	SAT	90.5702	90.5683	3421316
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT	109.601	109.602	3420966
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	137.426	137.482	3421164
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	SAT	171.928	171.925	3421102
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	174.923	174.953	3421288
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	233.99	234.102	3421156
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	SAT	241.729	241.748	3421186
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	SAT	243.815	243.809	3421076
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	SAT	264.845	264.839	3421314
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	315.535	315.526	3421172
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	SAT	319.283	319.29	3420980
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	370.601	370.592	3421404
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	382.613	382.605	3420968
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	SAT	400.485	400.476	3421262
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	SAT	505.182	505.17	3421308
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	SAT	525.289	525.278	3420978
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	SAT	585.98	586.022	3421322
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	SAT	669.988	669.977	3421320
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	SAT	864.317	864.295	3421310
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	SAT	1009.15	1009.16	3421312
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	SAT	1429.02	1428.99	3421114
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	SAT	1432.31	1432.35	3420936
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	1476.82	1476.85	3420854
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	SAT	1532.22	1532.22	3421136
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	SAT	1618.98	1618.93	3421192
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	SAT	2028.76	2028.69	3421194
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	SAT	2220.49	2220.43	3421432
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	2741.57	2741.56	3420970
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	SAT	3215.09	3215.03	3420880
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	SAT	3357.33	3357.22	3421318
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	SAT	3872.57	3872.45	3421382

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	5000.02	5000.12	3420862
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	5000.02	4999.92	3420996
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	? (TO)	5000.03	4999.93	3421396
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	? (TO)	5000.03	4999.92	3421096
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	? (TO)	5000.03	4999.92	3421380
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	5000.03	4999.92	3420974
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	? (TO)	5000.03	5000.02	3421358
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	? (TO)	5000.04	4999.92	3421422
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	5000.04	4999.92	3421004
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	? (TO)	5000.04	4999.93	3420942
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	5000.04	4999.92	3421306
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	5000.04	4999.92	3421304
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	5000.04	4999.92	3421146
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	5000.04	4999.91	3420984
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	? (TO)	5000.04	4999.92	3421270
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	5000.04	4999.92	3421296
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	5000.04	4999.81	3421176
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	5000.04	4999.92	3421208
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	5000.04	4999.92	3421232
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	5000.04	4999.92	3421386
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	? (TO)	5000.04	4999.92	3421384
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	5000.04	4999.93	3420948
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	5000.04	5000.02	3421300
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	5000.04	5000.02	3421126
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	? (TO)	5000.04	4999.93	3421352
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	? (TO)	5000.04	4999.81	3421178
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	5000.04	4999.92	3420976
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	5000.04	4999.92	3421118
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	5000.04	4999.91	3421002
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	5000.05	4999.82	3421220
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	5000.05	4999.93	3421238
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	5000.05	4999.93	3421248
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	? (TO)	5000.05	4999.92	3421130
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	5000.05	4999.93	3421148
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	5000.05	4999.92	3420986
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	5000.05	4999.92	3420992
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	? (TO)	5000.05	4999.93	3421412
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	5000.05	4999.94	3420924
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	5000.05	4999.93	3420940
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	5000.05	4999.93	3420858
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	5000.05	4999.93	3420944
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	? (TO)	5000.05	4999.93	3420882
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	? (TO)	5000.05	4999.93	3420952
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	? (TO)	5000.05	4999.93	3421354
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	? (TO)	5000.05	4999.92	3421350
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	5000.05	4999.94	3420962
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	5000.05	4999.93	3421334
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	5000.05	4999.93	3421030
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	5000.05	4999.93	3421204
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	5000.05	4999.93	3420888
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	? (TO)	5000.05	5000.12	3421298
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	5000.05	4999.93	3421210
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	5000.05	4999.92	3421224
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	5000.06	4999.93	3420914
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	? (TO)	5000.06	4999.93	3421440
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	5000.06	4999.94	3421436
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	5000.06	4999.94	3421406
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	5000.06	4999.95	3421398
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	5000.06	4999.92	3421390
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	5000.06	4999.92	3421388
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	5000.06	4999.82	3421196
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	5000.06	4999.93	3421246
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	5000.06	4999.93	3421244
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	5000.06	4999.82	3421206
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	5000.06	4999.92	3421110
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	5000.06	5000.03	3421074
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	5000.06	4999.94	3421060
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	5000.06	4999.93	3421284
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	? (TO)	5000.06	4999.92	3421264
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	? (TO)	5000.06	4999.93	3420956
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	5000.06	4999.94	3420946
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	5000.06	5000.05	3420920
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	5000.06	4999.83	3420900
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	5000.06	5000.02	3420868
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	5000.07	4999.93	3420898
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	5000.07	4999.92	3421198
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	5000.07	4999.94	3421040
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	? (TO)	5000.07	4999.93	3421242
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	5000.07	4999.93	3421250
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	? (TO)	5000.07	4999.93	3420934
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	5000.07	4999.92	3421158
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	5000.07	4999.92	3421214
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	5000.07	4999.93	3421428
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	5000.07	5000.02	3421268
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	5000.07	4999.97	3421430
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	5000.07	4999.93	3421252
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	5000.07	4999.94	3421414
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	? (TO)	5000.07	4999.93	3420954
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	5000.07	4999.94	3420908
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	5000.07	5000.02	3420990
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	5000.07	4999.92	3420982
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	5000.07	4999.84	3420932
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	5000.07	4999.92	3421216
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	5000.07	4999.84	3421410
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	5000.07	4999.93	3421036
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	5000.07	4999.94	3421056
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	5000.08	4999.94	3421014
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	? (TO)	5000.08	4999.93	3421402
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	5000.08	4999.94	3421160
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	? (TO)	5000.08	4999.93	3420890
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	? (TO)	5000.08	4999.93	3421442
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	5000.08	4999.95	3421078
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	5000.08	4999.93	3421240
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	5000.08	4999.97	3421150
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	5000.08	4999.95	3420902
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	? (TO)	5000.08	4999.92	3421280
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	? (TO)	5000.08	4999.92	3421278
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	5000.08	4999.93	3421202
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	? (TO)	5000.08	4999.93	3420906
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	? (TO)	5000.08	5000.23	3421152
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	5000.08	4999.93	3421218
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	5000.08	5000.05	3421028
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	5000.08	4999.95	3421026
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	5000.08	5000.02	3421332
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	5000.08	4999.85	3421408
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	5000.08	4999.95	3421342
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	5000.08	4999.94	3420958
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	5000.09	5000.03	3420950
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	5000.09	4999.95	3421344
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	5000.09	5000.03	3421144
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	5000.09	5000.02	3421234
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	5000.09	4999.94	3421042
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	5000.09	5000.12	3421378
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	5000.09	4999.97	3421154
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	5000.09	4999.95	3420964
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	5000.09	4999.97	3421438
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	5000.09	4999.96	3420922
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	5000.09	5000.03	3420928
crafted/spence/ hard/s113-100.cnf	? (TO)	5000.09	5000.02	3420852
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	5000.09	4999.95	3420916
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	5000.09	5000.03	3420870
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	5000.09	4999.94	3420874
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	5000.09	4999.94	3420856
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	5000.09	4999.95	3420876
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	5000.09	5000.04	3421326
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	5000.1	4999.93	3420896
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	5000.1	4999.92	3421168
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	? (TO)	5000.1	5000.03	3420878
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	5000.1	4999.93	3421286
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	? (TO)	5000.1	5000.02	3421260
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	5000.1	5000.13	3421258
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	5000.1	4999.94	3421330
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	5000.1	5000.02	3421346
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	5000.1	4999.95	3421400
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	5000.1	5000.04	3421050
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	5000.1	5000.02	3420988
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	5000.1	4999.93	3421416
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	5000.1	5000.04	3421450
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	? (TO)	5000.1	5000.02	3421236
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	? (TO)	5000.11	4999.93	3420930
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	5000.11	5000.02	3420994
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	5000.11	5000.03	3421336
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	5000.11	5000.02	3420998
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	5000.11	5000.02	3421008
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	5000.11	5000.04	3421448
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	5000.11	5000.04	3421424
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	5000.11	4999.93	3421254
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	5000.11	4999.93	3421256
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	5000.11	5000.02	3421266
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	5000.11	5000.04	3421142
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	5000.11	4999.93	3421446
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	5000.11	4999.92	3421106
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	5000.11	5000.04	3420938
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	5000.11	5000.02	3421222
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	? (TO)	5000.12	5000.03	3421282
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	? (TO)	5000.12	5000.03	3421084
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	? (TO)	5000.12	5000.02	3421294
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	5000.12	4999.93	3421010
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	5000.12	4999.93	3421226
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	5000.12	5000.15	3420918
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	? (TO)	5000.12	4999.93	3421420
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	? (TO)	5000.12	5000.02	3421170
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	5000.12	5000.04	3421052
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	5000.12	4999.93	3421228
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	5000.12	5000.04	3420912
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	5000.12	4999.94	3420910
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	5000.12	5000.25	3421426
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	5000.13	4999.95	3421444
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	5000.13	5000.23	3421356
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	5000.13	4999.94	3420886
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	5000.13	4999.94	3420960
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	5000.13	5000.23	3420926
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	5000.13	4999.94	3420894
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	5000.13	5000.06	3421064
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	5000.13	5000.25	3421434
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	5000.13	5000.04	3421022
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	5000.14	4999.96	3421092
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	5000.14	5000.04	3420904

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

Result page for solver RestartSAT B95 (complete)

Category "applications instances" (APPLICATION)

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

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

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

Category "crafted instances" (CRAFTED)

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

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

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