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.016997	0.0178711	3379318
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.275957	0.280994	3379338
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.298954	0.300102	3379339
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	0.885865	0.886021	3379320
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	1.49577	1.49713	3379341
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	2.14467	2.15983	3379323
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	3.23851	3.25279	3379327
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	4.06238	4.07704	3379328
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	5.09323	5.09458	3379330
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	5.70713	5.7076	3379322
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	5.74812	5.74907	3379329
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	12.1841	12.1851	3379326
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	37.7403	37.7459	3379340
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	41.2927	41.3069	3379325
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	51.2412	51.2419	3379321
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	82.5405	82.5439	3379503
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	95.4635	95.4693	3379480
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	97.8941	97.9544	3379456
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	102.601	102.6	3379319
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	108.349	108.35	3379335
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	114.982	114.979	3379334
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	139.412	139.408	3379489
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	168.963	168.978	3379331
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	173.405	173.397	3379324
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	174.862	174.857	3379336
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	180.87	180.87	3379332
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	185.652	185.649	3379502
velev-pipe-o-uns-1.1-6.cnf	UNSAT	204.698	204.694	3379474
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	218.918	218.917	3379455
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	236.302	236.296	3379485
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	245.409	245.416	3379454
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	247.481	247.476	3379515
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	324.379	324.374	3379466
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	UNSAT	339.843	339.834	3379451
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	356.994	356.989	3379481
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	433.887	433.879	3379333
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	UNSAT	692.985	692.982	3379365
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	819.319	819.296	3379465
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	885.237	885.216	3379457
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	UNSAT	996.983	996.986	3379337
manol-pipe-f7nidw.cnf	UNSAT	1164.14	1164.22	3379477
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	1195.59	1195.57	3379460
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	1199.04	1199.07	3379504
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	1275.43	1275.62	3379496

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.003998	0.016305	3379401
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.006998	0.0115551	3379298
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.007998	0.0139239	3379294
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.020995	0.021514	3379295
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.021996	0.0265689	3379300
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.040993	0.045471	3379299
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.101983	0.102308	3379316
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	0.617905	0.618752	3379297
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	1.08783	1.08926	3379417
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	1.45178	1.45379	3379416
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	2.04069	2.043	3379296
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	2.29465	2.2963	3379305
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	4.32334	4.32556	3379303
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	4.45132	4.45423	3379395
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	4.70528	4.70831	3379310
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	4.92425	4.92688	3379301
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	10.5584	10.5918	3379309
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	13.358	13.358	3379306
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	22.4976	22.497	3379436
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	28.1827	28.1868	3379434
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	30.2464	30.2501	3379312
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	37.7353	37.7367	3379307
application/manthey/ traffic/traffic_r_sat.cnf	SAT	47.8807	47.8815	3379442
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	49.8954	49.895	3379408
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	66.7239	67.0456	3379311
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	107.362	108.068	3379313
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	118.371	118.377	3379302
velev-pipe-sat-1.0-b9.cnf	SAT	128.922	129.477	3379419
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	136.947	136.957	3379444
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	174.875	174.91	3379441
ibm-2004-01-k90.cnf	SAT	206.119	206.116	3379420
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	239.204	239.213	3379443
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	243.327	243.32	3379317
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	250.627	250.631	3379304
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	255.799	255.807	3379315
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	281.516	281.526	3379308
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	322.843	322.861	3379426
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	409.452	409.444	3379438
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	469.332	469.33	3379432
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	585.725	585.94	3379430
ibm-2002-21r-k95.cnf	SAT	652.582	652.581	3379418
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	662.393	662.382	3379431
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	SAT	834.58	834.592	3379433
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	880.959	880.971	3379447
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	931.723	931.727	3379448
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	948.254	948.228	3379437
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	1095.52	1095.47	3379407

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	? (TO)	1291.39	1300.04	3379371
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	? (TO)	1296.35	1300.2	3379501
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	? (TO)	1298.85	1300.04	3379342
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	1299.4	1300.06	3379558
velev-npe-1.0-9dlx-b71.cnf	? (TO)	1299.61	1300.13	3379354
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1299.82	1300.04	3379542
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1299.9	1300.06	3379592
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	? (TO)	1299.92	1300.05	3379345
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	1299.94	1300.04	3379529
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	1299.94	1300.02	3379580
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1299.94	1300.02	3379376
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	? (TO)	1299.97	1300.02	3379314
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	? (TO)	1299.97	1300.01	3379435
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	1299.97	1300.01	3379579
ibm-2002-30r-k85.cnf	? (TO)	1299.98	1300.05	3379422
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	1299.98	1300.02	3379578
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	1300	1300.04	3379572
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	1300	1300.02	3379527
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	1300.01	1300.04	3379550
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	1300.01	1300.05	3379552
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	? (TO)	1300.01	1300.05	3379514
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	1300.01	1300.01	3379519
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	1300.01	1300.05	3379559
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	1300.02	1300.04	3379551
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	1300.02	1300.04	3379553
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	? (TO)	1300.02	1300.05	3379404
application/manthey/traffic/ traffic_pcb_unknown.cnf	? (TO)	1300.02	1300.04	3379510
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	? (TO)	1300.03	1300.05	3379495
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	1300.03	1300.01	3379524
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	1300.03	1300.04	3379545
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	1300.03	1300.04	3379344
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1300.03	1300.03	3379347
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	1300.04	1300.04	3379570
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	1300.04	1300.06	3379555
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	1300.04	1300.02	3379581
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	? (TO)	1300.04	1300.03	3379399
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	? (TO)	1300.04	1300.09	3379397
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	1300.04	1300.02	3379526
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	1300.04	1300.03	3379522
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	1300.04	1300.02	3379523
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1300.05	1300.05	3379380
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	? (TO)	1300.05	1300.01	3379358
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	? (TO)	1300.05	1300.03	3379400
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1300.05	1300.03	3379547
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	? (TO)	1300.05	1300.04	3379491
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	1300.05	1300.02	3379573
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	? (TO)	1300.05	1300.03	3379500
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	1300.05	1300.03	3379575
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	1300.05	1300.01	3379577
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	? (TO)	1300.06	1300.04	3379357
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1300.06	1300.03	3379348
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	? (TO)	1300.06	1300.03	3379520
industrial/fuhs/hard/ AProVE07-03.cnf	? (TO)	1300.06	1300.03	3379459
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	? (TO)	1300.06	1300.07	3379389
manol-pipe-c10nidw.cnf	? (TO)	1300.06	1300.03	3379478
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1300.06	1300.04	3379535
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	1300.06	1300.03	3379574
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	? (TO)	1300.06	1300.08	3379518
application/manthey/traffic/ traffic_b_unsat.cnf	? (TO)	1300.06	1300.04	3379508
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	? (TO)	1300.06	1300.04	3379445
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	? (TO)	1300.06	1300.04	3379343
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	1300.06	1300.04	3379556
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	? (TO)	1300.06	1300.03	3379369
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	? (TO)	1300.06	1300.04	3379370
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	1300.06	1300.04	3379383
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	1300.06	1300.04	3379361
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1300.07	1300.09	3379468
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	1300.07	1300.04	3379576
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	? (TO)	1300.07	1300.03	3379521
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	1300.07	1300.04	3379394
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	1300.07	1300.05	3379396
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	? (TO)	1300.07	1300.05	3379356
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	? (TO)	1300.07	1300.04	3379482
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	? (TO)	1300.07	1300.04	3379483
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	1300.07	1300.04	3379557
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	1300.07	1300.04	3379561
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	1300.07	1300.02	3379393
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	? (TO)	1300.07	1300.07	3379516
application/manthey/traffic/ traffic_3b_unknown.cnf	? (TO)	1300.07	1300.04	3379506
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1300.07	1300.03	3379546
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	? (TO)	1300.07	1300.09	3379486
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1300.07	1300.03	3379385
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1300.07	1300.04	3379352
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1300.07	1300.04	3379386
ibm-2004-23-k100.cnf	? (TO)	1300.07	1300.03	3379421
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1300.07	1300.02	3379534
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1300.07	1300.04	3379537
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1300.07	1300.04	3379382
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (TO)	1300.07	1300.04	3379409
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1300.08	1300.05	3379351
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1300.08	1300.05	3379544
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1300.08	1300.05	3379414
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1300.08	1300.07	3379473
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	? (TO)	1300.08	1300.04	3379453
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1300.08	1300.05	3379533
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	1300.08	1300.06	3379591
application/fuhs/ AProVE11/AProVE11-06.cnf	? (TO)	1300.08	1300.05	3379391
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	1300.08	1300.05	3379536
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	? (TO)	1300.08	1300.05	3379427
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	1300.08	1300.04	3379569
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	1300.08	1300.09	3379528
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	? (TO)	1300.08	1300.04	3379505
application/manthey/traffic/ traffic_f_unknown.cnf	? (TO)	1300.08	1300.04	3379509
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	1300.08	1300.05	3379563
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	1300.08	1300.05	3379554
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	1300.08	1300.05	3379562
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	? (TO)	1300.09	1300.05	3379446
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1300.09	1300.05	3379377
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	1300.09	1300.06	3379560
application/manthey/traffic/ traffic_fb_unknown.cnf	? (TO)	1300.09	1300.04	3379511
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	? (TO)	1300.09	1300.07	3379366
application/manthey/traffic/ traffic_kkb_unknown.cnf	? (TO)	1300.09	1300.04	3379507
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	1300.09	1300.05	3379565
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	? (TO)	1300.09	1300.06	3379567
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	1300.09	1300.07	3379564
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	1300.09	1300.06	3379568
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.09	1300.06	3379363
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	1300.09	1300.06	3379566
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	1300.09	1300.06	3379590
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	? (TO)	1300.09	1300.06	3379479
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	? (TO)	1300.09	1300.06	3379439
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1300.1	1300.08	3379346
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	1300.1	1300.05	3379464
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	? (TO)	1300.1	1300.06	3379403
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	? (TO)	1300.1	1300.07	3379494
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	? (TO)	1300.1	1300.09	3379449
industrial/crypto/ mizh-sha0-36-2.cnf	? (TO)	1300.1	1300.1	3379532
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	1300.1	1300.06	3379530
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	1300.1	1300.06	3379463
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	? (TO)	1300.1	1300.05	3379497
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	? (TO)	1300.1	1300.07	3379413
mizh-sha0-36-4.cnf	? (TO)	1300.1	1300.11	3379548
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	1300.1	1300.07	3379359
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1300.1	1300.05	3379411
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1300.1	1300.06	3379350
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	1300.1	1300.07	3379372
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	1300.1	1300.07	3379541
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.1	1300.06	3379593
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1300.1	1300.07	3379415
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.1	1300.06	3379362
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1300.1	1300.05	3379410
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	1300.1	1300.16	3379549
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1300.11	1300.08	3379381
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	1300.11	1300.08	3379364
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	1300.11	1300.08	3379543
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	? (TO)	1300.11	1300.07	3379517
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	? (TO)	1300.11	1300.05	3379353
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	? (TO)	1300.11	1300.07	3379487
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1300.11	1300.06	3379384
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1300.11	1300.09	3379378
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	1300.11	1300.07	3379461
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	1300.11	1300.07	3379462
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1300.11	1300.09	3379467
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1300.11	1300.12	3379540
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	1300.12	1300.08	3379513
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	? (TO)	1300.12	1300.09	3379425
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	? (TO)	1300.12	1300.09	3379512
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	? (TO)	1300.12	1300.07	3379440
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	? (TO)	1300.12	1300.09	3379390
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	? (TO)	1300.12	1300.1	3379469
manol-pipe-c6bidw_i.cnf	? (TO)	1300.12	1300.08	3379476
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	? (TO)	1300.12	1300.08	3379484
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	? (TO)	1300.12	1300.08	3379499
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	? (TO)	1300.12	1300.09	3379398
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	1300.12	1300.08	3379360
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	1300.12	1300.06	3379367
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	1300.13	1300.07	3379525
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	? (TO)	1300.13	1300.1	3379412
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	1300.13	1300.07	3379493
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	? (TO)	1300.13	1300.11	3379405
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	? (TO)	1300.13	1300.06	3379492
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1300.13	1300.09	3379402
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	? (TO)	1300.13	1300.1	3379450
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	? (TO)	1300.13	1300.09	3379428
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	1300.14	1300.09	3379583
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	? (TO)	1300.15	1300.13	3379355
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	1300.15	1300.09	3379392
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	1300.15	1300.11	3379582
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1300.15	1300.12	3379531
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	1300.15	1300.12	3379538
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (TO)	1300.15	1300.1	3379406
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	1300.16	1300.21	3379387
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	? (TO)	1300.16	1300.11	3379471
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	? (TO)	1300.16	1300.12	3379490
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	1300.16	1300.13	3379571
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	? (TO)	1300.16	1300.11	3379472
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	1300.17	1300.14	3379584
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	1300.17	1300.14	3379470
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	1300.19	1300.16	3379586
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	? (TO)	1300.19	1300.15	3379458
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	? (TO)	1300.19	1300.14	3379368
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1300.2	1300.18	3379373
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1300.2	1300.17	3379379
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	? (TO)	1300.2	1300.17	3379429
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	1300.2	1300.17	3379539
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	1300.2	1300.17	3379589
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	1300.21	1300.19	3379588
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	? (TO)	1300.22	1300.19	3379488
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1300.22	1300.25	3379374
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	1300.22	1300.2	3379585
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1300.23	1300.21	3379475
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1300.23	1300.25	3379375
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	1300.25	1300.22	3379587

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	? (MO)	665.053	665.039	3379498
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	? (MO)	1038.79	1038.76	3379388

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	Signal 11	1.73074	1.73161	3379452
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	Signal 11	4.44632	4.44758	3379423
SAT_RACE08/Q1/ SAT_dat.k85.cnf	Signal 11	5.48916	5.48939	3379424
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	Signal 6	174.356	188.902	3379349

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3500_3500_30f1.shuffled.cnf	UNSAT	0.012997	0.013308	3379079
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.05999	0.07308	3379087
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	0.323949	0.337535	3379088
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.414935	0.418317	3379086
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	0.880865	0.880626	3379083
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	1.57676	1.57733	3379081
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	3.2645	3.26686	3379089
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	3.73443	3.73512	3379082
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	4.38833	4.39134	3379085
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	13.327	13.3279	3379080
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	14.5878	14.5994	3379200
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	49.4095	49.4148	3379202
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	UNSAT	103.975	103.978	3379220
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	119.234	119.238	3379207
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	UNSAT	169.021	169.017	3379224
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	235.899	235.889	3379225
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	UNSAT	488.911	488.895	3379223
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	511.677	511.67	3379204
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	987.805	987.776	3379212

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.004998	0.0125909	3379076
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.005999	0.013757	3379061
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	0.007998	0.0124951	3379193
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.008998	0.0100091	3379062
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.009998	0.01171	3379063
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.010997	0.0122641	3379064
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	0.011998	0.012645	3379195
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.012997	0.0254181	3379065
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.014997	0.0159041	3379066
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.016996	0.0223261	3379077
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.018997	0.0245641	3379053
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	0.030994	0.0311009	3379192
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	0.037994	0.0389639	3379078
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.053991	0.0552859	3379067
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.061989	0.0680659	3379068
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.063989	0.0647811	3379070
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.066989	0.0703919	3379069
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.070988	0.0710001	3379071
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.074987	0.076259	3379060
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.077988	0.0798361	3379072
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.088985	0.0930439	3379073
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	0.153976	0.155569	3379074
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.162974	0.166436	3379059
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	0.181971	0.181822	3379075
crafted/mosoi/289/ 289-unsat-6x30.cnf	SAT	0.182971	0.184542	3379031
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.185971	0.189966	3379057
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	0.815875	0.817295	3379194
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	0.937857	0.940482	3379166
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	11.9232	11.9283	3379191
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	SAT	15.0317	15.0335	3379197
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	22.1456	22.145	3379054
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	29.8475	29.8515	3379055
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	31.3092	31.3132	3379058
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	31.6032	31.6033	3379289
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	SAT	55.7175	55.7191	3379186
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	SAT	65.605	65.6034	3379275
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	154.015	154.014	3379188
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	163.762	163.761	3379056
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	230.649	230.656	3379189
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	240.131	240.13	3379179
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	304.686	304.681	3379172
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	412.329	412.32	3379187
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	SAT	490.626	490.615	3379196
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	SAT	527.221	527.275	3379175
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	568.032	568.027	3379292
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	SAT	659.224	659.204	3379278
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	SAT	664.246	664.227	3379124
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	824.142	824.128	3379190
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	832.357	832.353	3379161

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	1297.25	1300.04	3379005
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (TO)	1298.78	1300.02	3379163
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	1299.56	1300.06	3379251
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	1299.56	1300.07	3379253
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	1299.57	1300.03	3379129
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	1299.78	1300.03	3379029
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	? (TO)	1299.96	1300.03	3379115
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	1299.97	1300.01	3379293
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	1299.98	1300.03	3379125
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1299.98	1300.06	3379260
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	? (TO)	1299.98	1300.02	3379216
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	? (TO)	1299.98	1300.02	3379090
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	? (TO)	1299.98	1300.03	3379181
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	? (TO)	1299.99	1300.02	3379215
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	1299.99	1300.01	3379159
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	? (TO)	1299.99	1300.02	3379101
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	? (TO)	1299.99	1300.03	3379222
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	1299.99	1300.03	3379133
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	? (TO)	1300	1300.02	3379221
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	? (TO)	1300	1300.02	3379014
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	1300.01	1300.03	3379018
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	? (TO)	1300.01	1300.03	3379096
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	1300.01	1300.01	3379280
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	? (TO)	1300.01	1300.03	3379114
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	1300.01	1300.08	3379011
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	? (TO)	1300.01	1300.03	3379173
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	1300.01	1300.05	3379249
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	1300.01	1300.02	3379205
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	? (TO)	1300.01	1300.02	3379213
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	1300.01	1300.03	3379155
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	? (TO)	1300.01	1300.03	3379112
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	1300.02	1300.05	3379008
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	1300.02	1300.03	3379033
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	1300.02	1300.06	3379006
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	? (TO)	1300.02	1300.03	3379109
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	1300.02	1300.03	3379132
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	? (TO)	1300.02	1300.03	3379139
crafted/spence/ hard/s113-100.cnf	? (TO)	1300.02	1300.01	3379151
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	? (TO)	1300.03	1300.04	3378997
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	? (TO)	1300.03	1300.01	3379098
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	1300.03	1300.01	3379288
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1300.03	1300.05	3379247
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	? (TO)	1300.03	1300.02	3379092
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	? (TO)	1300.03	1300.02	3379219
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	1300.03	1300.04	3379229
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	? (TO)	1300.04	1300.01	3379141
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	1300.04	1300.07	3379254
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	? (TO)	1300.04	1300.02	3379143
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	1300.04	1300.02	3379236
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	1300.04	1300.02	3379160
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	1300.04	1300.02	3379052
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	? (TO)	1300.04	1300.03	3379138
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	1300.04	1300.01	3379237
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	? (TO)	1300.04	1300.01	3379279
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	1300.04	1300.02	3379240
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	1300.04	1300.03	3379144
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	1300.04	1300.03	3379145
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	1300.04	1300.01	3379282
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	1300.04	1300.02	3379230
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	1300.04	1300.01	3379281
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	? (TO)	1300.04	1300.02	3379214
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	? (TO)	1300.04	1300.03	3379168
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	? (TO)	1300.04	1300.03	3379177
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	1300.04	1300.06	3379165
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	? (TO)	1300.04	1300.02	3379142
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	1300.04	1300.01	3379234
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	1300.05	1300.02	3379134
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	? (TO)	1300.05	1300.02	3379184
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	? (TO)	1300.05	1300.02	3379218
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	? (TO)	1300.05	1300.02	3379182
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	? (TO)	1300.05	1300.02	3379122
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	? (TO)	1300.05	1300.03	3379158
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	1300.05	1300.02	3379157
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	? (TO)	1300.05	1300.02	3379180
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	? (TO)	1300.05	1300.02	3379211
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	1300.05	1300.06	3379016
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	? (TO)	1300.05	1300.02	3379210
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	? (TO)	1300.05	1300.02	3379150
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	? (TO)	1300.05	1300.03	3379110
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	? (TO)	1300.05	1300.02	3379084
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	? (TO)	1300.05	1300.01	3379100
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	? (TO)	1300.05	1300.02	3379091
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	1300.05	1300.01	3379226
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	1300.05	1300.02	3379023
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	1300.05	1300.02	3379156
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	1300.05	1300.03	3379026
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	1300.05	1300.02	3379025
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	1300.05	1300.03	3379028
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1300.05	1300.04	3379245
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	1300.05	1300.02	3379050
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	? (TO)	1300.05	1300.01	3379099
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	? (TO)	1300.05	1300.02	3379162
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	? (TO)	1300.05	1300.02	3379102
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	? (TO)	1300.05	1300.02	3379103
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	? (TO)	1300.05	1300.02	3379094
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	1300.05	1300.06	3379263
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	1300.05	1300.02	3379235
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1300.05	1300.05	3379153
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	? (TO)	1300.05	1300.02	3379208
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	1300.05	1300.03	3379130
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	? (TO)	1300.05	1300.02	3379137
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	1300.05	1300.04	3379131
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	1300.05	1300.02	3379135
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	? (TO)	1300.05	1300.02	3379209
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	1300.05	1300.08	3379233
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	1300.05	1300.02	3379048
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	1300.05	1300.02	3379049
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	? (TO)	1300.05	1300.03	3379120
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	? (TO)	1300.05	1300.02	3379149
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	1300.05	1300.02	3379015
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	1300.05	1300.02	3379147
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	1300.05	1300.01	3379277
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	1300.06	1300.01	3379276
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	? (TO)	1300.06	1300.02	3379148
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	1300.06	1300.01	3379283
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	1300.06	1300.02	3379136
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	1300.06	1300.01	3379287
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	1300.06	1300.04	3379201
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	1300.06	1300.06	3379257
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	1300.06	1300.02	3379203
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	? (TO)	1300.06	1300.03	3379047
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	? (TO)	1300.06	1300.03	3379176
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	1300.06	1300.04	3378996
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	1300.06	1300.03	3379046
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	? (TO)	1300.06	1300.03	3379169
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	1300.06	1300.03	3379111
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	? (TO)	1300.06	1300.03	3379185
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	? (TO)	1300.06	1300.02	3379217
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	1300.06	1300.03	3379248
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	1300.06	1300.02	3379170
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	1300.06	1300.06	3379045
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	? (TO)	1300.06	1300.03	3379093
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1300.06	1300.03	3379246
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	1300.06	1300.04	3379239
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	1300.06	1300.03	3379032
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	1300.06	1300.02	3379231
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	1300.06	1300.06	3379267
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1300.06	1300.04	3379152
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	1300.06	1300.02	3379024
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	1300.06	1300.03	3379126
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	? (TO)	1300.06	1300.03	3379108
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	1300.06	1300.03	3379154
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	? (TO)	1300.06	1300.03	3379198
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	? (TO)	1300.06	1300.02	3379183
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	? (TO)	1300.06	1300.03	3379174
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	1300.06	1300.02	3379022
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	1300.07	1300.01	3379286
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	1300.07	1300.01	3379284
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	1300.07	1300.01	3379285
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	1300.07	1300.05	3379004
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	1300.07	1300.04	3378994
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	1300.07	1300.05	3379000
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	1300.07	1300.05	3379002
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	? (TO)	1300.07	1300.03	3379206
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	1300.07	1300.02	3379146
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	1300.07	1300.03	3379027
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	1300.07	1300.03	3379019
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	? (TO)	1300.07	1300.02	3379123
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	1300.07	1300.02	3379051
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	? (TO)	1300.07	1300.03	3379095
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	1300.07	1300.03	3379140
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	? (TO)	1300.07	1300.03	3379127
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	1300.07	1300.03	3379228
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	1300.07	1300.05	3379034
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	1300.07	1300.01	3379291
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	1300.07	1300.01	3379290
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	1300.07	1300.04	3379035
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	? (TO)	1300.07	1300.03	3379118
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	? (TO)	1300.07	1300.04	3379121
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	? (TO)	1300.07	1300.03	3379119
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	1300.07	1300.04	3379268
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	1300.07	1300.04	3379270
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1300.07	1300.04	3379269
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	1300.07	1300.05	3379272
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	? (TO)	1300.07	1300.04	3379167
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	? (TO)	1300.07	1300.03	3379113
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	1300.07	1300.04	3379116
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	1300.07	1300.04	3379117
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	1300.07	1300.03	3379105
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	1300.08	1300.06	3379273
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	1300.08	1300.05	3379255
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	1300.08	1300.06	3379241
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	1300.08	1300.05	3379036
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	1300.08	1300.04	3379128
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1300.08	1300.05	3379106
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	1300.08	1300.04	3379227
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	? (TO)	1300.08	1300.04	3379001
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	? (TO)	1300.08	1300.02	3379171
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	1300.08	1300.05	3378998
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	? (TO)	1300.08	1300.03	3379097
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	1300.08	1300.05	3379238
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	1300.08	1300.05	3379017
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	1300.08	1300.06	3379040
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	1300.08	1300.06	3379262
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	? (TO)	1300.08	1300.03	3379178
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	? (TO)	1300.08	1300.06	3379199
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	1300.08	1300.06	3379030
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	1300.08	1300.05	3379258
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	1300.08	1300.04	3379243
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	1300.08	1300.04	3378999
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	1300.09	1300.05	3379271
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	1300.09	1300.06	3379044
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	1300.09	1300.06	3379265
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	1300.09	1300.06	3379274
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	1300.09	1300.05	3379259
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	1300.09	1300.06	3379252
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	1300.09	1300.04	3379242
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	1300.09	1300.07	3379003
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	1300.09	1300.06	3379250
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	1300.09	1300.04	3378995
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	1300.09	1300.05	3379007
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	1300.09	1300.06	3379009
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	1300.09	1300.06	3379037
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	1300.09	1300.06	3379041
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	1300.09	1300.06	3379043
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	1300.09	1300.06	3379039
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	1300.09	1300.06	3379042
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	1300.1	1300.06	3379244
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	1300.1	1300.06	3379264
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	1300.1	1300.06	3379038
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	1300.1	1300.06	3379266
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	? (TO)	1300.1	1300.06	3379164
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	1300.1	1300.07	3379256
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	1300.1	1300.08	3379010
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	1300.1	1300.07	3379232
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	1300.1	1300.06	3379261
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	1300.11	1300.07	3379013
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1300.11	1300.06	3379107
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	1300.13	1300.1	3379021
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	1300.14	1300.11	3379104
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	1300.14	1300.08	3379012
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	1300.15	1300.1	3379020

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

Result page for solver UmSat 2011-05-12 (fixed) (complete)

Category "applications instances" (APPLICATION)

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

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

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

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

Solver was terminated by a signal (4 runs) [Show/Hide]

Category "crafted instances" (CRAFTED)

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

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

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