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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/industrial/biere/ dinphil/dp04u03.shuffled.cnf	UNSAT	0.032994	0.017209	3371218
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.061989	0.063662	3371238
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.065989	0.065158	3371239
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	0.415935	0.255499	3371227
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	0.658899	0.315128	3371241
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	1.05984	0.676896	3371221
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	1.22481	0.327513	3371220
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	2.42763	0.772904	3371228
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	2.70059	0.705905	3371219
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	3.2505	0.914535	3371223
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	4.36234	1.28348	3371230
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	4.99224	1.44188	3371229
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	6.22805	1.78393	3371240
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	7.65783	2.5074	3371222
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	7.94079	3.81487	3371226
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	14.7708	3.76817	3371356
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	UNSAT	15.2347	3.89954	3371237
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	UNSAT	15.7756	4.15867	3371421
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	16.9584	4.27615	3371352
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	20.5959	6.51186	3371224
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	25.6831	7.17239	3371235
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	27.1169	6.89449	3371402
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	33.6739	8.57536	3371403
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	36.5164	10.4137	3371225
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	45.4841	11.8806	3371234
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	48.1007	12.3318	3371232
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	48.7476	12.2833	3371357
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	51.2702	13.0637	3371231
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	56.6524	14.6858	3371358
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	57.7812	22.1997	3371380
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	64.4752	16.6307	3371236
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	69.7364	19.2048	3371389
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	77.2903	21.127	3371415
velev-pipe-o-uns-1.1-6.cnf	UNSAT	77.4422	19.6511	3371374
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	81.1607	21.1501	3371366
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	100.477	25.5584	3371233
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	109.148	27.5751	3371404
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	109.916	28.2797	3371371
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	114.732	29.5871	3371372
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	128.225	32.6615	3371395
manol-pipe-c6bidw_i.cnf	UNSAT	128.424	32.5185	3371376
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	134.387	34.3531	3371398
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	136.382	34.9541	3371365
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	140.175	35.4774	3371396
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	141.075	36.4111	3371400
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	145.13	36.6309	3371385
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	147.427	37.2824	3371381
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	160.291	40.7714	3371355
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	170.106	42.91	3371354
manol-pipe-f7nidw.cnf	UNSAT	176.315	45.3043	3371377
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	179.893	45.9664	3371399
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	UNSAT	181.915	45.7075	3371353
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	216.28	54.7558	3371379
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	225.343	56.9095	3371370
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	252.257	66.7045	3371390
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	260.012	66.3389	3371401
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	319.47	80.7206	3371388
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	320.045	86.3996	3371417
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	333.063	84.1492	3371412
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	343.222	86.1792	3371360
velev-pipe-o-uns-1.0-7.cnf	UNSAT	347.526	87.6296	3371375
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	458.349	115.164	3371391
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	UNSAT	506.275	127.341	3371265
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	UNSAT	517.917	129.971	3371369
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	524.802	131.787	3371367
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	541.594	136.006	3371386
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	571.097	144.071	3371411
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	UNSAT	577.916	145.321	3371397
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	598.694	150.505	3371394
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	630.026	159.514	3371408
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	645.8	164.043	3371409
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	648.765	163.574	3371407
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	660.11	166.732	3371410
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	681.845	171.996	3371373
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	741.288	186.594	3371406
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	UNSAT	918.117	230.303	3371384
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	1093.14	274.058	3371382
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	UNSAT	1152.32	289.189	3371392
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	UNSAT	1259.47	322.17	3371351
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	1338.08	337.701	3371368
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	UNSAT	1378.3	345.455	3371383
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	1528.37	384.564	3371284
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	UNSAT	1639.8	411.402	3371405
manol-pipe-c10nidw.cnf	UNSAT	1754.14	441.383	3371378
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	1779.39	447.762	3371414
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	UNSAT	1783.05	451.045	3371288
industrial/fuhs/hard/ AProVE07-03.cnf	UNSAT	1909.22	478.882	3371359
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	UNSAT	2452.71	621.414	3371418
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	UNSAT	2550.22	639.301	3371450
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	UNSAT	2719.42	682.267	3371387
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	UNSAT	3234.96	813.882	3371269
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	UNSAT	3391.71	851.168	3371470
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	UNSAT	3440.59	867.558	3371271
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	UNSAT	3928.74	992.413	3371289
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	UNSAT	4063.96	1019.02	3371469
velev-vliw-uns-4.0-9-i1.cnf	UNSAT	4758.8	1196.31	3371286

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.019996	0.01719	3371200
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.023995	0.0179709	3371301
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.035993	0.0169531	3371198
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.036994	0.018493	3371195
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.037994	0.021199	3371194
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.12898	0.054662	3371216
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.204968	0.07377	3371199
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	0.724889	0.423443	3371210
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	1.23781	0.57675	3371205
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	1.57676	0.440153	3371196
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	2.26965	1.1121	3371201
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	2.28365	0.596324	3371334
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	2.57161	1.45972	3371214
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	3.36249	1.03544	3371203
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	3.74443	1.11126	3371316
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	3.9464	1.15232	3371197
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	4.36833	1.94336	3371207
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	4.77427	1.43404	3371317
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	5.15721	1.87695	3371212
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	5.71613	1.93791	3371211
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	8.73067	2.58785	3371206
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	8.88065	4.31236	3371209
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	10.7144	6.66946	3371297
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	11.0383	6.63053	3371298
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	14.7937	4.84717	3371215
application/manthey/ traffic/traffic_r_sat.cnf	SAT	15.4826	8.16824	3371342
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	16.4015	5.61657	3371202
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	18.6552	4.97674	3371295
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	19.0201	5.81177	3371213
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	21.9167	7.40029	3371341
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	24.5443	6.431	3371217
velev-pipe-sat-1.0-b9.cnf	SAT	30.1724	15.2671	3371319
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	31.5532	8.43989	3371204
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	37.9512	9.61829	3371308
ibm-2004-01-k90.cnf	SAT	38.2512	10.046	3371320
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	41.3237	11.7511	3371326
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	46.9739	12.3481	3371336
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	47.8437	12.0844	3371299
industrial/crypto/ mizh-sha0-36-2.cnf	SAT	55.3496	14.1294	3371432
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	SAT	59.6299	15.7133	3371253
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	63.6663	29.8952	3371350
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	65.3301	17.8801	3371344
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	69.2665	19.6721	3371208
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	80.2368	30.313	3371349
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	SAT	93.2168	24.6038	3371333
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	95.0745	24.4154	3371323
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	97.8761	29.2223	3371332
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	104.73	27.1158	3371339
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	108.728	28.0024	3371338
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	138.143	35.6765	3371313
ibm-2002-21r-k95.cnf	SAT	144.758	37.0575	3371318
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	150.316	49.8955	3371306
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	SAT	155.013	39.0692	3371255
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	169.704	42.6165	3371309
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	172.582	64.8287	3371348
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	174.898	57.0803	3371305
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	179.108	45.5788	3371312
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	188.434	49.301	3371330
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	191.775	55.9596	3371347
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	195.578	49.1303	3371300
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	255.088	66.4409	3371331
velev-npe-1.0-9dlx-b71.cnf	SAT	255.64	76.0659	3371254
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	294.034	74.8007	3371307
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	320.91	81.2545	3371329
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	344.739	87.0567	3371337
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	346.791	87.3404	3371325
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	365.295	92.8972	3371302
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	394.999	101.3	3371340
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT	406.596	102.671	3371304
mizh-sha0-36-4.cnf	SAT	411.856	103.546	3371448
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	SAT	422.636	106.015	3371258
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	436.468	162.05	3371249
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	SAT	475.523	119.387	3371242
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	SAT	612.521	153.916	3371328
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	645.803	163.609	3371315
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	679.548	176.032	3371343
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	700.886	175.694	3371310
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	751.848	189.689	3371314
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	SAT	930.878	234.1	3371296
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	SAT	948.97	240.788	3371345
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	SAT	1071.9	272.368	3371346
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	SAT	1082.29	277.736	3371245
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	SAT	1144.12	287.025	3371257
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	SAT	1179.3	295.843	3371327
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	1202.23	301.827	3371303
SAT_RACE08/Q1/ SAT_dat.k85.cnf	SAT	1445.58	363.062	3371324
ibm-2004-23-k100.cnf	SAT	1680.92	422.289	3371321
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	SAT	1681.05	421.667	3371256
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	SAT	1683.33	422.061	3371465
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	SAT	2071.71	519.733	3371243
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	SAT	2373.97	595.34	3371467
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	SAT	2559.08	641.703	3371335
ibm-2002-30r-k85.cnf	SAT	3054.61	765.918	3371322
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	SAT	3128.79	783.942	3371311
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	SAT	4351.53	1092.71	3371246
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	SAT	4565.76	1145.22	3371252

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	4800.07	1202.82	3371442
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	4800.08	1205.03	3371274
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	4800.09	1203.83	3371478
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	4800.1	1203.83	3371433
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	4800.1	1204.14	3371447
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	4800.1	1203.03	3371473
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	4800.1	1203.14	3371435
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	4800.11	1203.13	3371429
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	4800.12	1206.14	3371247
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	4800.12	1203.03	3371427
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	4800.12	1202.85	3371439
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	4800.12	1203.85	3371471
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	4800.13	1202.83	3371276
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	4800.13	1203.03	3371458
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	? (TO)	4800.13	1203.44	3371268
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	4800.14	1202.86	3371425
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	4800.14	1203.44	3371480
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	4800.15	1203.55	3371457
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	4800.15	1202.93	3371454
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	4800.15	1202.86	3371267
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	4800.16	1202.23	3371434
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	4800.17	1203.85	3371468
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	4800.17	1203.24	3371362
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	4800.18	1204.37	3371490
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	4800.18	1204.14	3371251
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	4800.19	1202.94	3371364
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	4800.2	1205.83	3371275
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	4800.2	1205.39	3371287
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	4800.2	1205.26	3371491
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	4800.2	1206.57	3371449
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	4800.21	1207.49	3371262
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	4800.21	1203.25	3371292
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	4800.21	1204.56	3371426
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	4800.22	1203.54	3371464
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	4800.23	1203.64	3371440
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	4800.24	1204.03	3371244
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	4800.25	1202.63	3371475
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	? (TO)	4800.25	1212.35	3371270
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	4800.25	1203.83	3371456
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	4800.27	1210.44	3371493
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	4800.27	1203.03	3371455
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	4800.27	1215.13	3371492
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	4800.28	1207.06	3371482
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	4800.29	1203.93	3371451
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	4800.29	1203.96	3371285
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	4800.29	1202.93	3371452
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	4800.29	1203.56	3371419
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	4800.3	1203.23	3371476
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	? (TO)	4800.3	1204.03	3371266
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	4800.3	1203.55	3371422
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	4800.3	1203.38	3371441
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	4800.31	1203.44	3371250
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	4800.31	1206.84	3371261
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	4800.32	1203.63	3371477
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	4800.32	1203.83	3371472
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	4800.32	1208.49	3371277
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	4800.32	1203.64	3371393
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	4800.33	1204.36	3371446
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	4800.33	1203.05	3371463
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	4800.33	1203.63	3371282
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	4800.34	1203.54	3371363
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	4800.34	1204.15	3371431
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	4800.35	1203.22	3371479
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	4800.35	1204.46	3371283
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	4800.36	1202.82	3371437
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	? (TO)	4800.36	1208.66	3371416
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	4800.36	1202.82	3371481
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	4800.37	1203.53	3371462
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	4800.37	1203.53	3371444
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	4800.37	1203.03	3371438
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	4800.37	1205.35	3371248
application/fuhs/ AProVE11/AProVE11-06.cnf	? (TO)	4800.38	1204.34	3371291
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	4800.39	1203.73	3371278
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	4800.39	1205.09	3371486
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	4800.39	1205.26	3371430
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	4800.39	1203.77	3371436
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	4800.4	1204.03	3371273
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	4800.4	1204.66	3371260
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	4800.4	1204.34	3371280
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	4800.4	1202.52	3371445
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	4800.4	1203.14	3371294
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	4800.4	1203.95	3371459
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	4800.41	1204.44	3371485
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	4800.41	1202.62	3371474
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	4800.42	1203.64	3371466
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	4800.42	1203.04	3371461
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	4800.42	1203.25	3371279
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	4800.42	1203.87	3371281
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	4800.44	1207.76	3371483
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	4800.44	1204.08	3371487
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	4800.44	1202.74	3371361
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	4800.45	1209.22	3371263
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	4800.45	1204.91	3371489
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	4800.46	1204.57	3371413
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	4800.47	1203.64	3371453
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	4800.47	1208.78	3371272
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	4800.48	1226.17	3371428
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	4800.48	1203.94	3371460
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	4800.48	1205.11	3371484
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	4800.48	1204.25	3371293
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	4800.48	1203.71	3371423
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	4800.48	1204.14	3371443
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	? (TO)	4800.48	1202.34	3371420
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	4800.5	1204.79	3371259
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	? (TO)	4800.51	1212.47	3371290
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	4800.51	1203.56	3371424
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	4800.52	1204.2	3371488
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	4800.6	1211.28	3371264

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3500_3500_30f1.shuffled.cnf	UNSAT	0.021996	0.017208	3370979
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.170973	0.102964	3370987
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.19097	0.111235	3370986
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	0.659899	0.230288	3370981
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	UNSAT	0.861868	0.347572	3371106
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	1.46278	0.427177	3370985
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	1.60476	0.517711	3370988
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	2.32065	0.846172	3370982
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	2.96855	1.01337	3370983
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	UNSAT	3.17352	0.859344	3371120
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	UNSAT	12.1881	3.3716	3370984
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	19.0251	4.85045	3370980
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	22.7895	6.37174	3371100
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	26.204	7.04792	3370989
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	132.79	33.7169	3371102
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	UNSAT	202.623	50.8087	3371121
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	UNSAT	274.236	69.0387	3371122
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	416.533	105.292	3371125
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	422.122	106.14	3371115
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	458.589	115.434	3371107
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	743.672	186.706	3371114
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	1105.05	277.612	3371112
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	UNSAT	1178.97	295.885	3371117
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	UNSAT	1918.13	481.912	3371052
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	1945.33	488.101	3371104
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	UNSAT	3395.56	852.901	3371038
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	UNSAT	3463.37	868.776	3371116
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	UNSAT	3706.34	930.821	3371108
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	UNSAT	4192.07	1056.21	3370946
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	UNSAT	4306.81	1083.39	3371037

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.013997	0.013681	3370966
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.018996	0.0175039	3370967
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.021996	0.0152311	3370961
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.021996	0.0197531	3370970
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.023995	0.02253	3370964
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.025995	0.022531	3370969
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.031994	0.0209141	3370962
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.031994	0.0227801	3370968
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.032994	0.024058	3370965
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.032994	0.028539	3370973
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.035994	0.0224299	3370963
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.044992	0.0321601	3370960
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.065989	0.054671	3370957
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.071988	0.0451269	3370959
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.084986	0.0841359	3370953
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.252961	0.0912659	3370972
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	0.25396	0.234248	3371093
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	0.25596	0.180574	3371095
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	0.26196	0.262482	3370978
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.292955	0.0897081	3370971
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	0.295954	0.231326	3371092
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.312952	0.308866	3370976
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	0.329948	0.276678	3371094
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	SAT	0.38994	0.149687	3371077
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.416935	0.247407	3370977
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	SAT	0.470927	0.247855	3371098
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	0.862868	0.249248	3370954
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	1.77073	0.867302	3371066
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	1.9787	0.54213	3370974
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	2.15867	0.641793	3370975
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	2.77358	0.733327	3371072
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	4.05538	1.05887	3370955
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	4.65129	1.24459	3370958
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	SAT	5.76712	1.61296	3371086
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	7.54885	2.09309	3371189
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	SAT	9.31958	2.42289	3371097
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	12.0962	3.09178	3371064
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	13.8989	3.79459	3371091
crafted/mosoi/289/ 289-unsat-6x30.cnf	SAT	14.2148	3.81571	3370931
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	15.0337	3.79533	3371088
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	16.1385	4.16584	3371069
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	SAT	16.4905	4.44393	3371099
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	SAT	33.4009	8.51338	3371075
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	37.0804	9.35928	3371087
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	47.7617	12.07	3371079
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	48.0447	12.0761	3371061
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	SAT	55.9545	14.1566	3371073
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	59.416	15.194	3371074
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	60.7678	15.3117	3371089
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	SAT	76.2584	19.8606	3371096
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	122.927	30.8944	3371090
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	152.553	38.2833	3370956
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	163.809	41.1961	3371080
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT	212.13	53.4387	3371007
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	295.738	74.5303	3371068
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	SAT	358.117	90.3236	3371023
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	SAT	475.188	119.456	3371175
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	481.865	121.228	3371065
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	SAT	534.874	134.648	3371078
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	SAT	686.57	172.278	3371062
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	SAT	728.585	182.665	3371015
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	907.565	228.263	3371192
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	SAT	922.022	231.432	3371076
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	SAT	1171.47	295.139	3371024
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	SAT	1179.67	296.009	3371000
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	SAT	1227.35	307.77	3371082
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	SAT	2011.9	505.376	3370998
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	3062.67	767.993	3371081
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	SAT	3181.88	799.179	3370993
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	SAT	3529.42	889.281	3370947
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	SAT	3639.85	914.094	3371003
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	SAT	4187.9	1049.6	3370994
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	4475.48	1122.19	3371005

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	4800.08	1202.24	3371130
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	4800.1	1203.73	3371191
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	4800.1	1203.94	3370930
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	4800.1	1203.03	3371060
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	4800.11	1203.02	3371184
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	? (TO)	4800.11	1202.86	3371008
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	4800.12	1203.15	3371131
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	4800.12	1203.97	3371158
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	4800.12	1203.23	3371135
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	4800.12	1205.96	3371141
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	4800.13	1202.96	3371161
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	4800.13	1203.93	3371056
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	? (TO)	4800.13	1203.05	3371071
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	4800.14	1202.87	3371033
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	? (TO)	4800.15	1203.04	3371002
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	? (TO)	4800.15	1203.49	3370901
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	4800.15	1203.87	3371055
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	? (TO)	4800.15	1203.68	3370897
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	4800.15	1206.24	3370950
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	4800.16	1203.15	3371016
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	4800.16	1204.29	3371156
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	4800.16	1203.02	3370924
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	4800.16	1203.27	3371146
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	4800.16	1202.85	3371017
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	4800.17	1203.16	3371160
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	4800.17	1204.54	3370915
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	4800.17	1203.18	3371155
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	4800.17	1202.74	3371011
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	? (TO)	4800.17	1203.35	3371109
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	? (TO)	4800.17	1203.73	3371119
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	4800.18	1207.09	3370934
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	4800.18	1203.66	3371006
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	? (TO)	4800.18	1203.66	3371010
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	4800.18	1202.85	3371138
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	4800.19	1203.13	3370923
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	4800.19	1202.67	3371150
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	4800.19	1203.05	3371105
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	? (TO)	4800.19	1203.35	3371111
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	? (TO)	4800.2	1203.83	3370992
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	? (TO)	4800.2	1203.23	3371085
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	? (TO)	4800.21	1202.83	3370991
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	4800.21	1203.64	3371036
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	4800.21	1202.84	3371034
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	4800.22	1203.67	3370900
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	4800.22	1204.85	3370921
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	? (TO)	4800.22	1203.65	3371049
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	4800.23	1203.07	3371174
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	4800.23	1206.36	3370948
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	? (TO)	4800.23	1202.22	3371113
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	? (TO)	4800.24	1202.24	3371043
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	? (TO)	4800.24	1202.84	3371123
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	? (TO)	4800.24	1203.86	3371014
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	4800.24	1203.31	3371164
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	4800.25	1203.13	3371101
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	4800.25	1205.4	3370945
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	4800.25	1203.65	3371047
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	4800.25	1203.72	3370907
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	? (TO)	4800.25	1203.48	3371021
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	4800.26	1202.97	3371163
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	4800.26	1203.63	3371045
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	4800.26	1202.97	3371151
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	4800.26	1201.72	3370926
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	4800.27	1203.66	3371128
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	4800.27	1204.08	3371147
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	4800.27	1202.65	3371159
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	? (TO)	4800.27	1203.98	3370997
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	? (TO)	4800.27	1203.63	3371022
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	? (TO)	4800.27	1203.83	3371178
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	? (TO)	4800.27	1202.83	3371058
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	4800.27	1201.76	3371030
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	4800.27	1203.75	3371035
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	? (TO)	4800.28	1204.5	3371020
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	4800.28	1204.23	3370909
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	? (TO)	4800.28	1203.73	3370990
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	4800.28	1203.99	3370896
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	4800.28	1204.18	3371165
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	4800.28	1203.33	3371190
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	4800.29	1203.73	3371140
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	? (TO)	4800.29	1204.14	3371050
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	4800.29	1204.77	3370952
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	? (TO)	4800.29	1203.75	3371048
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	4800.3	1203.81	3370913
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	4800.3	1203.87	3371031
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	4800.3	1202.52	3370928
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	4800.3	1203.44	3371143
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	4800.3	1203.08	3371142
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	4800.31	1202.84	3371132
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	4800.31	1201.72	3370925
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	4800.31	1203.78	3370899
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	? (TO)	4800.31	1202.63	3371039
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	4800.31	1203.68	3371028
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	? (TO)	4800.31	1203.63	3371084
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	4800.31	1204.89	3370943
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	4800.31	1203.23	3371185
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	4800.31	1202.92	3371176
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	4800.31	1202.85	3371054
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	? (TO)	4800.32	1202.53	3371001
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	4800.32	1203.1	3370905
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	4800.32	1203.62	3370910
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	? (TO)	4800.32	1203.76	3370996
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	? (TO)	4800.33	1203.49	3371019
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	4800.33	1207.38	3370944
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	4800.33	1205.49	3370939
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	4800.34	1203.73	3371180
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	4800.34	1203.69	3370912
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	4800.34	1202.69	3371173
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	? (TO)	4800.34	1203.93	3371083
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	4800.34	1203.63	3371181
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	? (TO)	4800.34	1202.85	3371012
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	4800.34	1202.88	3370894
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	4800.35	1204.21	3370904
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	4800.35	1203.38	3370933
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	? (TO)	4800.35	1203.75	3371067
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	4800.35	1203.15	3371133
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	4800.35	1202.95	3371139
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	4800.35	1203.12	3370922
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	? (TO)	4800.35	1203.52	3371179
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	? (TO)	4800.36	1203.13	3371118
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	4800.36	1207.07	3370940
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	4800.36	1203.13	3371193
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	4800.36	1203.93	3371183
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	4800.37	1203.64	3370951
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	4800.37	1203.45	3370916
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	4800.37	1205.37	3370936
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	4800.37	1203.16	3371070
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	4800.37	1204.27	3371170
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	4800.37	1201.72	3370918
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	? (TO)	4800.37	1203.37	3371027
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	4800.38	1201.83	3370917
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	4800.38	1203.28	3371127
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	4800.38	1202.47	3371144
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	4800.38	1203.62	3370898
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	4800.38	1202.95	3371169
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	4800.38	1203.25	3371134
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	? (TO)	4800.39	1203.14	3371042
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	4800.39	1202.78	3371166
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	4800.39	1203.3	3371167
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	4800.39	1203.16	3371168
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	4800.39	1201.57	3371026
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	4800.39	1203.16	3371149
crafted/spence/ hard/s113-100.cnf	? (TO)	4800.39	1203.44	3371051
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (TO)	4800.39	1202.82	3371063
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	4800.4	1202.83	3371059
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	? (TO)	4800.4	1203.14	3371041
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	4800.4	1204.27	3371148
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	4800.4	1205.19	3370938
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	4800.4	1203.19	3370908
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	4800.4	1203.73	3370929
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	4800.41	1203.58	3371157
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	4800.41	1203.23	3371057
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	4800.41	1204	3371154
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	4800.41	1202.68	3371032
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	4800.41	1203.83	3371182
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	? (TO)	4800.41	1203.47	3371013
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	4800.42	1203.73	3371044
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	4800.42	1202.86	3371025
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	? (TO)	4800.42	1203.53	3370914
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	4800.42	1205.1	3370941
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	? (TO)	4800.42	1203.76	3371009
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	4800.42	1202.15	3370949
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	? (TO)	4800.43	1203.15	3371110
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	4800.43	1203.71	3370906
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	4800.43	1204	3370911
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	4800.43	1203.13	3371136
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	4800.43	1204.28	3371129
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	? (TO)	4800.43	1206.14	3371124
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	? (TO)	4800.44	1203.76	3370995
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	? (TO)	4800.44	1203.16	3371018
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	4800.44	1205.29	3370935
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	4800.44	1202.77	3371162
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	4800.45	1207.37	3370942
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	4800.45	1203.09	3371046
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	4800.45	1203.93	3371187
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	4800.45	1202.93	3371137
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	4800.45	1203.13	3371126
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	4800.46	1203.44	3371188
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	4800.47	1203.88	3371103
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	4800.47	1204.99	3370937
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	4800.47	1203.63	3371177
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	4800.47	1203.96	3371004
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	4800.47	1203.08	3371172
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	4800.47	1204.04	3371040
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	4800.47	1203.59	3371171
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	4800.47	1204.83	3370919
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	? (TO)	4800.47	1203.74	3370999
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	4800.48	1203.79	3371145
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	4800.48	1204.36	3371053
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	4800.48	1203.93	3370927
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	4800.48	1204.03	3371186
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	4800.49	1205.17	3370932
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	4800.49	1204.47	3370920
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	4800.5	1202.78	3371152
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	4800.51	1203.29	3370895
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	4800.51	1204.01	3371153
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	4800.51	1202.68	3371029
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	4800.55	1203.15	3370902
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	4800.59	1203.95	3370903

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

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

Category "applications instances" (APPLICATION)

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

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

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

Category "crafted instances" (CRAFTED)

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

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

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