SAT 2011 Competition: main competition (phase 1): benchmarks results per solver
Result page for solver SApperloT
2011-03-23
(complete)
Category "applications instances" (APPLICATION)
Solver proved unsatisfiability (UNSATISFIABLE) (77 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
application/leberre/
2dimensionalstrippacking/E07N15.cnf
UNSAT
0.003998
0.00641198
3291108
application/leberre/
2dimensionalstrippacking/E15N15.cnf
UNSAT
0.003998
0.00638593
3291154
SAT02/industrial/biere/
dinphil/dp04u03.shuffled.cnf
UNSAT
0.003999
0.00633504
3293362
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf
UNSAT
0.085986
0.0867271
3287842
application/leberre/
2dimensionalstrippacking/E04N18.cnf
UNSAT
0.156975
0.160112
3290970
SAT02/industrial/goldberg/rand_net/
rand_net60-30-1.shuffled.cnf
UNSAT
0.346946
0.347121
3292994
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf
UNSAT
0.527918
0.529439
3287888
SAT-Race-2010-CNF/software-verification/
nec/hard-25-U-7061.cnf
UNSAT
0.71389
0.720152
3293868
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf
UNSAT
0.811875
0.812946
3288210
industrial/babic/hsatv17/
hsat_vc12062.cnf
UNSAT
0.871866
0.87168
3280850
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf
UNSAT
1.19582
1.19513
3287704
APPLICATIONS/bitverif/
minandmaxor/minandmaxor016.cnf
UNSAT
1.2928
1.29646
3282000
application/leberre/
2dimensionalstrippacking/E03N17.cnf
UNSAT
1.73173
1.73287
3290602
SAT-Race-2010-CNF/software-verification/
nec/hard-6-U-7061.cnf
UNSAT
4.14337
4.14561
3293822
application/jarvisalo/
AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf
UNSAT
6.74297
6.80152
3286416
SAT-Race-2010-CNF/software-verification/
nec/hard-18-U-10652.cnf
UNSAT
6.74297
6.74418
3293776
industrial/babic/dspam/
dspam_dump_vc949.cnf
UNSAT
7.02093
7.02108
3280804
APPLICATIONS/diagnosis/
UTI-20-10t0.cnf
UNSAT
7.48786
7.48814
3283288
application/leberre/
2dimensionalstrippacking/E05X15.cnf
UNSAT
7.83081
7.83219
3290924
SAT02/industrial/goldberg/rand_net/
rand_net60-25-10.shuffled.cnf
UNSAT
13.7499
13.7509
3293086
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-18-step15.cnf
UNSAT
14.2468
14.251
3286508
SAT04/industrial/hoonsang/vis-bmc/
all.used-as.sat04-986.cnf
UNSAT
25.5361
25.5365
3291936
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf
UNSAT
27.1359
27.1401
3288256
SAT04/industrial/hoonsang/vis-bmc/
dekker.used-as.sat04-989.cnf
UNSAT
28.0547
28.0578
3291890
industrial/anbulagan/
medium-unsat/dated-5-11-u.cnf
UNSAT
28.8236
28.8237
3280114
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom12.cnf
UNSAT
30.4444
30.4437
3289268
application/rintanen/SATPlanning/
grid-strips-grid-y-4.025-NOTKNOWN.cnf
UNSAT
31.2792
31.2834
3285956
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf
UNSAT
31.3212
31.3282
3287382
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf
UNSAT
33.8699
33.8701
3287658
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf
UNSAT
34.4008
34.4058
3287750
application/leberre/
2dimensionalstrippacking/korf-15.cnf
UNSAT
35.0047
35.0039
3290464
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf
UNSAT
36.3895
36.3881
3287612
manol-pipe-c6bidw_i.cnf
UNSAT
49.0585
49.0651
3281724
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf
UNSAT
59.9459
59.9465
3288164
SAT02/industrial/nam/fpga-routing/
k2fix_gr_rcs_w9.shuffled.cnf
UNSAT
62.1076
62.1108
3293224
application/leberre/
2dimensionalstrippacking/E02F17.cnf
UNSAT
63.1224
63.1199
3290556
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom13.cnf
UNSAT
63.9333
63.945
3289222
SAT-Race-2010-CNF/hardware-verification/
manolios/c10idw_i.cnf
UNSAT
82.6124
82.6111
3293500
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf
UNSAT
83.5343
83.5312
3287934
industrial/manolios/
manol-pipe-f7idw.cnf
UNSAT
85.393
85.3913
3281034
application/fuhs/
AProVE11/AProVE11-11.cnf
UNSAT
88.2276
88.2244
3284714
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf
UNSAT
92.8279
92.8265
3287796
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf
UNSAT
93.8257
93.8255
3287980
APPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
UNSAT
103.808
103.807
3283012
manol-pipe-f7nidw.cnf
UNSAT
108.514
108.513
3281816
industrial/fuhs/medium/
AProVE07-21.cnf
UNSAT
116.976
116.979
3280482
application/rintanen/SATPlanning/
blocks-blocks-37-1.120-NOTKNOWN.cnf
UNSAT
127.329
127.325
3284852
SAT03/industrial/simon/sat02/
6pipe_6_ooo.shuffled-as.sat03-413.cnf
UNSAT
130.597
130.594
3291246
APPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
UNSAT
176.743
176.777
3282966
application/manthey/traffic/
traffic_b_unsat.cnf
UNSAT
223.339
223.335
3288670
application/manthey/traffic/
traffic_fb_unknown.cnf
UNSAT
235.089
235.083
3288348
application/manthey/traffic/
traffic_kkb_unknown.cnf
UNSAT
240.04
240.034
3288440
application/manthey/traffic/
traffic_f_unknown.cnf
UNSAT
247.25
247.32
3288486
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf
UNSAT
256.286
256.279
3288072
application/manthey/traffic/
traffic_pcb_unknown.cnf
UNSAT
279.337
279.329
3288624
application/manthey/traffic/
traffic_3b_unknown.cnf
UNSAT
298.515
298.507
3288716
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-27-step13.cnf
UNSAT
345.308
345.303
3286600
APPLICATIONS/diagnosis/
UCG-15-5p0.cnf
UNSAT
368.715
368.712
3283334
velev-pipe-o-uns-1.0-7.cnf
UNSAT
416.478
416.481
3284254
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf
UNSAT
441.492
441.48
3286002
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-17-step20.cnf
UNSAT
442.277
442.274
3286324
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k80.cnf
UNSAT
464.619
464.61
3281080
manol-pipe-c10nidw.cnf
UNSAT
496.175
496.191
3281632
APPLICATIONS/diagnosis/
ACG-10-10p0.cnf
UNSAT
507.698
507.696
3283196
industrial/palacios/medium/
blocks-4-ipc5-h21-unknown.cnf
UNSAT
536.197
536.186
3280758
SAT02/industrial/aloul/
Homer/homer14.shuffled.cnf
UNSAT
563.298
563.312
3292764
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-13-step17.cnf
UNSAT
646.301
646.288
3286738
application/leberre/
2dimensionalstrippacking/korf-17.cnf
UNSAT
671.367
671.362
3290878
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-TPP-21-step11.cnf
UNSAT
714.607
714.984
3286646
APPLICATIONS/bioinfo/
q_query_3_L150_coli.sat.cnf
UNSAT
735.754
735.743
3283104
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf
UNSAT
746.882
746.862
3287566
APPLICATIONS/diagnosis/
UCG-15-10p0.cnf
UNSAT
917.812
917.784
3283518
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-12-step15.cnf
UNSAT
934.195
934.168
3286232
SAT02/industrial/goldberg/rand_net/
rand_net60-40-10.shuffled.cnf
UNSAT
979.425
979.457
3293040
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom14.cnf
UNSAT
996.722
996.694
3289498
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k100.cnf
UNSAT
1183.8
1183.78
3281218
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf
UNSAT
1233.32
1234.54
3286784
Solver found a solution (SATISFIABLE) (75 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
SAT05/industrial/maris05/DriverLog/
driverlog1_ks99i.renamed-as.sat05-3951.cnf
SAT
0.001998
0.00640308
3292488
SAT05/industrial/maris05/DriverLog/
driverlog3_v01a.renamed-as.sat05-3963.cnf
SAT
0.001998
0.00586689
3292534
SAT02/industrial/aloul/
Bart/bart17.shuffled.cnf
SAT
0.001999
0.00592899
3292718
SAT05/industrial/maris05/Rovers/
rovers1_ks99i.renamed-as.sat05-3971.cnf
SAT
0.003998
0.00644602
3292580
SAT02/industrial/biere/
dinphil/dp04s04.shuffled.cnf
SAT
0.003999
0.00694206
3293270
SAT05/industrial/maris05/Ferry/
ferry5_ks99i.renamed-as.sat05-3994.cnf
SAT
0.010998
0.0117271
3292626
application/kullmann/AES/Benchmarks/
32/aes_32_1_keyfind_1.cnf
SAT
0.039993
0.0412581
3290280
SAT02/industrial/goldberg/fpga_routing/
vda_gr_rcs_w9.shuffled.cnf
SAT
0.043992
0.0445111
3292902
SAT02/industrial/biere/
dinphil/dp10s10.shuffled.cnf
SAT
0.096984
0.097202
3293316
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_18_SAT.cnf
SAT
0.132979
0.13985
3283886
application/jarvisalo/
AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf
SAT
0.247961
0.254895
3286554
application/fuhs/
AProVE11/AProVE11-09.cnf
SAT
0.26196
0.263334
3284530
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf
SAT
0.298954
0.308307
3286968
application/fuhs/
AProVE11/AProVE11-12.cnf
SAT
0.309952
0.310311
3284346
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf
SAT
0.501922
0.511086
3287198
SAT04/industrial/vangelder/cnf-color/
abb313GPIA-9-tr.used-as.sat04-321.cnf
SAT
0.542917
0.546061
3291752
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf
SAT
0.837871
0.840131
3287244
application/fuhs/
AProVE11/AProVE11-16.cnf
SAT
0.962852
0.964861
3284438
APPLICATIONS/diagnosis/
UTI-10-5t1.cnf
SAT
0.993848
0.999266
3283380
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf
SAT
1.66974
1.67332
3287014
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf
SAT
1.78173
1.78999
3287106
SAT04/industrial/velev/pipe-sat-1-1/
12pipe_bug6_q0.used-as.sat04-725.cnf
SAT
2.09868
2.10997
3292120
application/fuhs/
AProVE11/AProVE11-02.cnf
SAT
2.28065
2.28536
3284760
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_15_SAT.cnf
SAT
4.21036
4.21276
3283978
application/manthey/
traffic/traffic_r_sat.cnf
SAT
5.79512
5.80377
3288578
application/fuhs/
AProVE11/AProVE11-07.cnf
SAT
7.58485
7.59154
3284484
APPLICATIONS/diagnosis/
UTI-20-10t1.cnf
SAT
8.65968
8.70081
3283794
application/fuhs/
AProVE11/AProVE11-13.cnf
SAT
10.1655
10.1942
3284668
industrial/crypto/
mizh-sha0-36-2.cnf
SAT
12.3281
12.3318
3280988
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug6.cnf
SAT
12.862
12.8671
3281448
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
13.154
13.1837
3281402
application/rintanen/SATPlanning/
blocks-blocks-36-0.180-SAT.cnf
SAT
22.3236
22.3588
3285082
application/leberre/
2dimensionalstrippacking/E05F18.cnf
SAT
22.7895
22.7912
3290694
application/rintanen/SATPlanning/
blocks-blocks-37-1.150-SAT.cnf
SAT
25.2752
25.31
3285910
APPLICATIONS/crypto/
desgen/gss-14-s100.cnf
SAT
25.4271
25.4314
3282828
ibm-2004-01-k90.cnf
SAT
26.14
26.1441
3281908
velev-pipe-sat-1.0-b9.cnf
SAT
27.4798
27.4894
3284162
velev-npe-1.0-9dlx-b71.cnf
SAT
28.1777
28.2283
3284116
APPLICATIONS/c32sat/
post-cbmc-zfcp-2.8-u2-noholes.cnf
SAT
31.1963
31.2112
3283058
SAT05/industrial/grieu05/vmpc/
vmpc_25.renamed-as.sat05-1913.cnf
SAT
32.851
32.8507
3292304
application/fuhs/
AProVE11/AProVE11-15.cnf
SAT
35.2126
35.2166
3284392
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-27-step14.cnf
SAT
44.2293
44.7529
3286370
application/rintanen/SATPlanning/
blocks-blocks-36-0.170-NOTKNOWN.cnf
SAT
47.9837
47.9856
3285220
application/leberre/
2dimensionalstrippacking/E04F19.cnf
SAT
63.5153
63.5138
3290648
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-TPP-30-step11.cnf
SAT
82.8494
84.5458
3286278
ibm-2002-21r-k95.cnf
SAT
86.3479
86.3539
3284300
APPLICATIONS/bioinfo/
q_query_3_L70_coli.sat.cnf
SAT
98.821
98.8233
3283150
APPLICATIONS/crypto/
desgen/gss-16-s100.cnf
SAT
99.9388
99.9388
3282690
application/rintanen/SATPlanning/
blocks-blocks-36-0.160-NOTKNOWN.cnf
SAT
107.955
107.99
3286140
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-12-step16.cnf
SAT
114.202
114.2
3286186
application/manthey/traffic/
traffic_r_uc_sat.cnf
SAT
116.407
116.41
3288394
application/kullmann/AES/Benchmarks/
32/aes_32_2_keyfind_1.cnf
SAT
177.706
177.703
3290234
SAT_RACE08/Q1/
SAT_dat.k80_04.cnf
SAT
195.242
195.242
3281540
application/leberre/
2dimensionalstrippacking/E02F22.cnf
SAT
212.72
212.718
3290786
application/leberre/
2dimensionalstrippacking/E02F20.cnf
SAT
225.94
225.937
3290510
application/leberre/
2dimensionalstrippacking/E04F20.cnf
SAT
237.49
237.485
3290832
application/rintanen/SATPlanning/
transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf
SAT
261.671
261.696
3286048
application/leberre/
2dimensionalstrippacking/E05F20.cnf
SAT
267.264
267.272
3291200
SAT05/industrial/narain05/vpn/
clauses-8.renamed-as.sat05-1964.cnf
SAT
276.047
276.052
3292672
APPLICATIONS/diagnosis/
UR-10-10p1.cnf
SAT
340.091
340.091
3283702
SAT05/industrial/grieu05/vmpc/
vmpc_29.renamed-as.sat05-1916.cnf
SAT
344.613
344.605
3292258
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-18-step16.cnf
SAT
428.781
428.892
3286462
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf
SAT
485.992
485.987
3281310
APPLICATIONS/crypto/
desgen/gss-27-s100.cnf
SAT
493.835
493.824
3282782
APPLICATIONS/diagnosis/
UCG-20-5p1.cnf
SAT
511.259
511.294
3283564
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf
SAT
547.693
547.684
3281264
SAT04/industrial/velev/pipe-sat-1-1/
12pipe_bug4_q0.used-as.sat04-723.cnf
SAT
585.698
585.689
3292166
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf
SAT
592.02
592.012
3286876
SAT05/industrial/grieu05/vmpc/
vmpc_34.renamed-as.sat05-1926.cnf
SAT
606.828
606.82
3292212
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_19_UNKNOWN.cnf
SAT
617.558
617.549
3284024
ibm-2004-23-k100.cnf
SAT
628.212
628.204
3281770
APPLICATIONS/diagnosis/
ACG-15-5p1.cnf
SAT
845.362
845.449
3283748
APPLICATIONS/diagnosis/
UCG-15-10p1.cnf
SAT
858.19
858.193
3283242
ibm-2002-30r-k85.cnf
SAT
1068.16
1068.14
3281862
SAT_RACE08/Q1/
SAT_dat.k85.cnf
SAT
1086.83
1086.81
3281494
Solver timed out (no solution given) (148 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/diagnosis/
UTI-20-10p1.cnf
? (TO)
1292.27
1300.02
3283610
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_09_UNSAT.cnf
? (TO)
1299.07
1300.01
3283932
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom19.cnf
? (TO)
1299.43
1300.01
3289314
SAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf
? (TO)
1299.86
1300.02
3291982
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom16.cnf
? (TO)
1299.95
1300.01
3289636
SAT03/industrial/schuppan/l2s/
valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf
? (TO)
1299.96
1300.02
3291614
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top22.cnf
? (TO)
1299.97
1300.02
3289038
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top28.cnf
? (TO)
1299.98
1300.01
3289452
application/kullmann/AES/Benchmarks/
64/aes_64_4_keyfind_1.cnf
? (TO)
1299.98
1300.01
3290050
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top30.cnf
? (TO)
1299.98
1300.01
3289544
SAT-Race-2010-CNF/hardware-verification/
velev/11pipe_11_ooo.cnf
? (TO)
1299.99
1300.01
3293638
application/kullmann/AES/Benchmarks/
32/aes_32_3_keyfind_1.cnf
? (TO)
1299.99
1300.01
3290418
APPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
? (TO)
1299.99
1300.02
3281954
APPLICATIONS/bitverif/
maxxororand/maxxororand064.cnf
? (TO)
1299.99
1300.02
3282276
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
? (TO)
1300
1300.01
3280942
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf
? (TO)
1300
1300.03
3284990
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
1300
1300.01
3280620
application/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf
? (TO)
1300
1300.03
3285496
APPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
? (TO)
1300.01
1300.02
3282046
application/rintanen/SATPlanning/
blocks-blocks-37-1.130-NOTKNOWN.cnf
? (TO)
1300.01
1300.04
3285772
SAT04/industrial/vangelder/
cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf
? (TO)
1300.01
1300.02
3291798
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-nlzbe256-tseitin.cnf
? (TO)
1300.01
1300.01
3287060
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom26.cnf
? (TO)
1300.01
1300.01
3288854
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
? (TO)
1300.02
1300.02
3280206
APPLICATIONS/bitverif/
countbitssrl/countbitssrl064.cnf
? (TO)
1300.02
1300.02
3282138
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf
? (TO)
1300.02
1300.02
3285358
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf
? (TO)
1300.02
1300.01
3287428
APPLICATIONS/crypto/
desgen/gss-21-s100.cnf
? (TO)
1300.02
1300.01
3282874
APPLICATIONS/crypto/
desgen/gss-19-s100.cnf
? (TO)
1300.02
1300.01
3282920
SAT-Race-2010-CNF/hardware-verification/
velev/1dlx_c_iq57_a.cnf
? (TO)
1300.02
1300.02
3293592
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_09_UNKNOWN.cnf
? (TO)
1300.03
1300.01
3284070
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom20.cnf
? (TO)
1300.03
1300.01
3288992
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
? (TO)
1300.03
1300.01
3283840
velev-pipe-o-uns-1.1-6.cnf
? (TO)
1300.03
1300.01
3284208
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top29.cnf
? (TO)
1300.03
1300.01
3289360
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom24.cnf
? (TO)
1300.03
1300.01
3288808
application/kullmann/AES/Benchmarks/
32/aes_32_4_keyfind_1.cnf
? (TO)
1300.03
1300.01
3290372
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
1300.03
1300.01
3280896
velev-vliw-uns-4.0-9-i1.cnf
? (TO)
1300.04
1300.01
3281586
industrial/anbulagan/
hard-unsat/dated-10-17-u.cnf
? (TO)
1300.04
1300.01
3280344
SAT02/industrial/goldberg/rand_net/
rand_net70-60-10.shuffled.cnf
? (TO)
1300.04
1300.01
3292948
SAT-Race-2010-CNF/cryptography/
mizh/md5_48_3.cnf
? (TO)
1300.04
1300.01
3293454
SAT04/industrial/vangelder/cnf-color/
myciel6-tr.used-as.sat04-320.cnf
? (TO)
1300.04
1300.01
3291844
application/leberre/
2dimensionalstrippacking/E00X23.cnf
? (TO)
1300.04
1300.02
3291016
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top25.cnf
? (TO)
1300.04
1300.02
3289406
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom25.cnf
? (TO)
1300.04
1300.01
3288946
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom15.cnf
? (TO)
1300.04
1300.01
3288900
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top26.cnf
? (TO)
1300.04
1300.01
3288762
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf
? (TO)
1300.04
1300.01
3288118
application/kullmann/AES/Benchmarks/
32/aes_32_5_keyfind_1.cnf
? (TO)
1300.04
1300.01
3290326
application/kullmann/AES/Benchmarks/
64/aes_64_3_keyfind_1.cnf
? (TO)
1300.04
1300.01
3290188
application/kullmann/AES/Benchmarks/
64/aes_64_1_keyfind_1.cnf
? (TO)
1300.04
1300.01
3290142
application/kullmann/AES/Benchmarks/
64/aes_64_2_keyfind_1.cnf
? (TO)
1300.04
1300.01
3290096
application/kullmann/AES/Benchmarks/
128/aes_128_10_keyfind_1.cnf
? (TO)
1300.04
1300.01
3290004
application/kullmann/AES/Benchmarks/
128/aes_128_1_keyfind_1.cnf
? (TO)
1300.04
1300.01
3289958
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-17-step21.cnf
? (TO)
1300.04
1300.02
3286692
application/fuhs/
AProVE11/AProVE11-10.cnf
? (TO)
1300.04
1300.02
3284576
APPLICATIONS/diagnosis/
UR-20-10p1.cnf
? (TO)
1300.04
1300.02
3283656
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
1300.04
1300.01
3280528
industrial/fuhs/hard/
AProVE07-03.cnf
? (TO)
1300.04
1300.01
3280574
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
1300.04
1300.02
3280666
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k45.cnf
? (TO)
1300.04
1300.01
3281126
mizh-sha0-36-4.cnf
? (TO)
1300.04
1300.01
3281678
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
? (TO)
1300.04
1300.01
3282092
APPLICATIONS/bitverif/
mulhs/mulhs016.cnf
? (TO)
1300.04
1300.01
3282184
APPLICATIONS/crypto/
md5gen/gus-md5-12.cnf
? (TO)
1300.04
1300.01
3282598
APPLICATIONS/crypto/
desgen/gss-22-s100.cnf
? (TO)
1300.04
1300.01
3282736
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
1300.05
1300.01
3280436
application/kullmann/AES/Benchmarks/
128/aes_128_3_keyfind_1.cnf
? (TO)
1300.05
1300.01
3289866
SAT-Race-2010-CNF/hardware-verification/
velev/2dlx_ca_bp_f_liveness.cnf
? (TO)
1300.05
1300.02
3293684
SAT03/industrial/goldberg/hard_eq_check/
k2mul.miter.shuffled-as.sat03-355.cnf
? (TO)
1300.05
1300.01
3291430
SAT03/industrial/goldberg/hard_eq_check/
x1mul.miter.shuffled-as.sat03-359.cnf
? (TO)
1300.05
1300.01
3291384
SAT02/industrial/dellacherie/
comb/comb1.shuffled.cnf
? (TO)
1300.05
1300.01
3293132
APPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
? (TO)
1300.05
1300.01
3282644
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf
? (TO)
1300.05
1300.02
3288026
SAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf
? (TO)
1300.05
1300.02
3292028
SAT05/industrial/grieu05/vmpc/
vmpc_36.renamed-as.sat05-1922.cnf
? (TO)
1300.05
1300.01
3292442
SAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf
? (TO)
1300.05
1300.02
3292074
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf
? (TO)
1300.05
1300.01
3287520
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
1300.05
1300.02
3280298
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf
? (TO)
1300.05
1300.01
3287474
APPLICATIONS/bitverif/countbitsarray/
countbitsarray04_32.cnf
? (TO)
1300.05
1300.01
3282414
SAT05/industrial/grieu05/vmpc/
vmpc_32.renamed-as.sat05-1919.cnf
? (TO)
1300.05
1300.01
3292350
APPLICATIONS/
bitverif/maxxor/maxxor128.cnf
? (TO)
1300.05
1300.02
3282460
SAT05/industrial/grieu05/vmpc/
vmpc_35.renamed-as.sat05-1921.cnf
? (TO)
1300.05
1300.01
3292396
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom18.cnf
? (TO)
1300.05
1300.01
3289590
SAT03/industrial/schuppan/l2s/
bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf
? (TO)
1300.05
1300.01
3291660
industrial/palacios/medium/
cube-11-h14-sat.cnf
? (TO)
1300.05
1300.02
3280712
SAT02/industrial/aloul/
Homer/homer17.shuffled.cnf
? (TO)
1300.05
1300.01
3292856
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf
? (TO)
1300.05
1300.02
3285634
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf
? (TO)
1300.05
1300.02
3285588
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf
? (TO)
1300.05
1300.02
3288302
SAT03/industrial/schuppan/l2s/
dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf
? (TO)
1300.05
1300.01
3291706
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
1300.05
1300.02
3280390
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf
? (TO)
1300.05
1300.02
3285404
application/manthey/traffic/
traffic_3_uc_sat.cnf
? (TO)
1300.05
1300.02
3288532
application/kullmann/AES/Benchmarks/
128/aes_128_2_keyfind_1.cnf
? (TO)
1300.05
1300.01
3289912
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (TO)
1300.05
1300.02
3281356
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf
? (TO)
1300.05
1300.02
3285174
application/rintanen/SATPlanning/
blocks-blocks-36-0.120-NOTKNOWN.cnf
? (TO)
1300.05
1300.02
3285128
SAT02/industrial/aloul/
Homer/homer16.shuffled.cnf
? (TO)
1300.05
1300.01
3292810
application/leberre/
2dimensionalstrippacking/E00N23.cnf
? (TO)
1300.05
1300.02
3291062
SAT03/industrial/goldberg/hard_eq_check/
c6288mul.miter.shuffled-as.sat03-346.cnf
? (TO)
1300.05
1300.01
3291338
SAT03/industrial/maris/CNF/
gripper13u.shuffled-as.sat03-395.cnf
? (TO)
1300.05
1300.01
3291292
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k20.cnf
? (TO)
1300.05
1300.02
3281172
APPLICATIONS/
bitverif/maxxor/maxxor064.cnf
? (TO)
1300.05
1300.01
3282506
APPLICATIONS/
bitverif/maxxor/maxxor032.cnf
? (TO)
1300.05
1300.01
3282552
SAT-Race-2010-CNF/cryptography/
mizh/sha0_36_5.cnf
? (TO)
1300.06
1300.02
3293408
SAT03/industrial/li/li-test4/
li-test4-100.shuffled-as.sat03-370.cnf
? (TO)
1300.06
1300.02
3291522
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf
? (TO)
1300.06
1300.01
3287336
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf
? (TO)
1300.06
1300.01
3287152
SAT03/industrial/kukula/addm_bench/
am_7_7.shuffled-as.sat03-363.cnf
? (TO)
1300.06
1300.01
3291568
APPLICATIONS/bitverif/
smulo/smulo064.cnf
? (TO)
1300.06
1300.02
3282230
application/rintanen/SATPlanning/
grid-strips-grid-y-3.035-NOTKNOWN.cnf
? (TO)
1300.06
1300.03
3285818
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf
? (TO)
1300.06
1300.02
3285680
application/rintanen/SATPlanning/
transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf
? (TO)
1300.06
1300.03
3285450
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf
? (TO)
1300.06
1300.03
3285312
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf
? (TO)
1300.06
1300.02
3285036
SAT02/industrial/nam/fpga-routing/
k2fix_gr_rcs_w8.shuffled.cnf
? (TO)
1300.06
1300.01
3293178
SAT-Race-2010-CNF/hardware-verification/
velev/1dlx_c_iq60_a.cnf
? (TO)
1300.06
1300.02
3293546
APPLICATIONS/bitverif/countbitswegner/
countbitswegner128.cnf
? (TO)
1300.06
1300.01
3282322
APPLICATIONS/diagnosis/
UTI-20-10p0.cnf
? (TO)
1300.06
1300.02
3283472
APPLICATIONS/diagnosis/
UR-20-10p0.cnf
? (TO)
1300.06
1300.02
3283426
SAT-Race-2010-CNF/hardware-verification/
velev/11pipe_k.cnf
? (TO)
1300.06
1300.03
3293730
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (TO)
1300.06
1300.02
3280252
APPLICATIONS/bitverif/
maxor/maxor128.cnf
? (TO)
1300.06
1300.02
3282368
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom17.cnf
? (TO)
1300.06
1300.02
3289728
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top24.cnf
? (TO)
1300.06
1300.02
3289176
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top21.cnf
? (TO)
1300.06
1300.01
3289130
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top23.cnf
? (TO)
1300.06
1300.01
3289084
SAT03/industrial/li/li-exam/
li-exam-61.shuffled-as.sat03-366.cnf
? (TO)
1300.06
1300.02
3291476
application/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf
? (TO)
1300.07
1300.03
3285864
industrial/anbulagan/
hard-sat/partial-10-17-s.cnf
? (TO)
1300.07
1300.03
3280160
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom22.cnf
? (TO)
1300.07
1300.01
3289682
application/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf
? (TO)
1300.07
1300.03
3286094
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom21.cnf
? (TO)
1300.07
1300.02
3289774
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom23.cnf
? (TO)
1300.07
1300.01
3289820
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-countbits128-tseitin.cnf
? (TO)
1300.07
1300.02
3287290
application/rintanen/SATPlanning/
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf
? (TO)
1300.07
1300.03
3285266
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf
? (TO)
1300.07
1300.02
3286922
application/fuhs/
AProVE11/AProVE11-06.cnf
? (TO)
1300.07
1300.02
3284622
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.080-SAT.cnf
? (TO)
1300.07
1300.03
3285726
application/leberre/
2dimensionalstrippacking/korf-18.cnf
? (TO)
1300.08
1300.02
3290740
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf
? (TO)
1300.08
1300.02
3284806
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf
? (TO)
1300.08
1300.03
3284898
application/rintanen/SATPlanning/
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf
? (TO)
1300.08
1300.04
3285542
application/rintanen/SATPlanning/
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf
? (TO)
1300.09
1300.03
3284944
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf
? (TO)
1300.09
1300.04
3286830
Category "crafted instances" (CRAFTED)
Solver proved unsatisfiability (UNSATISFIABLE) (27 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3500_3500_30f1.shuffled.cnf
UNSAT
0.004999
0.00665489
3266185
SAT05/crafted/sorge05/QG8/
gensys-ukn007.shuffled-as.sat05-3586.cnf
UNSAT
0.047991
0.0512411
3266009
crafted/skvortsov/battleship/
battleship-5-8-unsat.cnf
UNSAT
0.079987
0.084335
3261257
SAT05/crafted/sabharwal05/planning/logistics/unsat/
logistics-rotate-07t5.shuffled-as.sat05-1137.cnf
UNSAT
0.512921
0.513025
3265085
crafted/skvortsov/battleship/
battleship-6-9-unsat.cnf
UNSAT
0.690894
0.691959
3261521
SAT05/crafted/sabharwal05/counting/php/unsat/
easier/php-010-008.shuffled-as.sat05-1171.cnf
UNSAT
1.22681
1.22832
3265173
SAT03/handmade/bevan/cnf/
marg3x3add8.shuffled-as.sat03-1449.cnf
UNSAT
1.9697
1.97302
3263985
SAT03/handmade/bevan/cnf/
marg3x3add8ch.shuffled-as.sat03-1448.cnf
UNSAT
2.15167
2.15375
3264029
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/
grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf
UNSAT
4.42233
4.42609
3265393
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3900_3900_060.shuffled.cnf
UNSAT
6.79996
6.79986
3266229
crafted/skvortsov/battleship/
battleship-10-10-unsat.cnf
UNSAT
6.84396
6.84923
3261125
crafted/skvortsov/
automata-synchronization/crn_11_99_u.cnf
UNSAT
20.0819
20.0822
3260729
SAT05/crafted/sorge05/QG6/
dead-dnd002.shuffled-as.sat05-2713.cnf
UNSAT
48.7816
48.7807
3266097
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-20_381.cnf
UNSAT
112.082
112.088
3262269
crafted/skvortsov/
automata-synchronization/rnd_100_28_u.cnf
UNSAT
122.351
122.35
3260685
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-19_348.cnf
UNSAT
127.958
127.954
3262137
SAT02/handmade/zhang-lintao/
xor-chain/x1_40.shuffled.cnf
UNSAT
143.27
143.27
3266581
SAT02/handmade/chu-min-li/urquhart/
urquhart3_25bis.shuffled.cnf
UNSAT
154.211
154.207
3266625
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf
UNSAT
179.32
179.316
3262665
crafted/skvortsov/
automata-synchronization/rnd_150_29_u.cnf
UNSAT
230.344
230.339
3260817
crafted/skvortsov/battleship/
battleship-12-12-unsat.cnf
UNSAT
242.806
242.799
3261389
SAT05/crafted/sorge05/QG7/
dead-dnd003.shuffled-as.sat05-3109.cnf
UNSAT
257.593
257.587
3265965
SAT03/handmade/markstrom/UNSATISFIABLE/
mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf
UNSAT
337.348
337.342
3263941
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-5_528.cnf
UNSAT
431.93
431.924
3261873
crafted/skvortsov/battleship/
battleship-11-11-unsat.cnf
UNSAT
497.391
497.376
3260993
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_401.cnf
UNSAT
497.47
497.464
3262225
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-20_390.cnf
UNSAT
509.016
509.007
3262313
Solver found a solution (SATISFIABLE) (61 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/mosoi/289/
289-sat-4x8.cnf
SAT
0.000999
0.00646489
3259937
crafted/mosoi/289/
289-sat-5x8.cnf
SAT
0.001999
0.00614093
3260289
crafted/mosoi/289/
289-sat-7x6.cnf
SAT
0.001999
0.00628509
3260245
crafted/mosoi/
289/289-sat-11x4.cnf
SAT
0.002998
0.00618188
3260377
CRAFTED/sgi/
satsgi-n26himBHm28-p0-q293.cnf
SAT
0.005998
0.00658094
3257693
crafted/mosoi/
289/289-sat-4x35.cnf
SAT
0.007998
0.00899209
3259981
crafted/mosoi/289/
289-sat-6x8.cnf
SAT
0.008998
0.00956492
3260421
SAT05/crafted/sorge05/QG8/
iso-ukn009.shuffled-as.sat05-3632.cnf
SAT
0.012998
0.0192459
3266053
SAT02/handmade/pehoushek/twentyvars/
7cnf20_90000_90000_7.shuffled.cnf
SAT
0.014997
0.0159529
3266141
SAT05/crafted/sorge05/QG7/
iso-ukn004.shuffled-as.sat05-3385.cnf
SAT
0.021996
0.0220569
3265877
crafted/mosoi/289/
289-sat-6x9.cnf
SAT
0.042992
0.04359
3260509
crafted/mosoi/
289/289-sat-9x13.cnf
SAT
0.065989
0.065818
3260157
CRAFTED/ramseycube/
Q3inK10.cnf
SAT
0.066989
0.0680281
3257517
crafted/mosoi/
289/289-sat-12x14.cnf
SAT
0.082987
0.0865639
3260333
crafted/mosoi/
289/289-sat-6x19.cnf
SAT
0.112982
0.113039
3259893
crafted/mosoi/
289/289-sat-11x9.cnf
SAT
0.166973
0.166575
3260465
crafted/mosoi/
289/289-sat-6x20.cnf
SAT
0.243962
0.245186
3260113
crafted/mosoi/
289/289-sat-12x15.cnf
SAT
0.397938
0.399741
3260025
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q225-n25-p15-s58217873.cnf
SAT
0.399939
0.401391
3266801
crafted/mosoi/
289/289-sat-11x10.cnf
SAT
0.445931
0.446348
3260201
crafted/skvortsov/
automata-synchronization/rnd_100_28_s.cnf
SAT
0.788879
0.789022
3260553
SAT04/handmade/anton/l4k4/
lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf
SAT
1.06484
1.06523
3264381
crafted/spence/sgen/
sgen3-n120-s12930489-sat.cnf
SAT
4.97824
4.98255
3274065
crafted/skvortsov/
automata-synchronization/rnd_100_27_s.cnf
SAT
8.10677
8.1074
3260773
crafted/mosoi/289/
289-unsat-6x30.cnf
SAT
9.01263
9.01403
3249243
SAT05/crafted/sorge05/QG7a/
gensys-brn002.shuffled-as.sat05-3935.cnf
SAT
11.2963
11.2984
3265613
crafted/spence/sgen/
sgen3-n140-s18527668-sat.cnf
SAT
13.5689
13.5718
3274206
crafted/skvortsov/battleship/
battleship-14-27-sat.cnf
SAT
14.5218
14.5223
3261477
crafted/skvortsov/
automata-synchronization/rnd_150_42_s.cnf
SAT
17.6493
17.6511
3260597
crafted/skvortsov/
automata-synchronization/crn_11_100_s.cnf
SAT
23.8934
23.8955
3260641
SAT04/handmade/anton/l5k3/
lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf
SAT
25.0282
25.0339
3264337
crafted/skvortsov/battleship/
battleship-14-26-sat.cnf
SAT
53.2939
53.2989
3261301
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g7.cnf
SAT
55.8165
55.8399
3258133
CRAFTED/
edgematching/all/em_8_4_5_all.cnf
SAT
61.4707
61.4802
3257429
CRAFTED/parity-games/
instance_n8_i8_pp_ci_ce.cnf
SAT
106.978
106.979
3259761
SAT05/crafted/lynce05/social-golfer-problem/
sgp_5-6-8.shuffled-as.sat05-2669.cnf
SAT
135.322
135.325
3265481
crafted/skvortsov/
automata-synchronization/rnd_100_32_s.cnf
SAT
136.435
136.433
3260861
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf
SAT
138.9
138.9
3266977
SAT04/handmade/andrew/composite/
Composite-024BitPrimes-1.used-as.sat04-861.cnf
SAT
140.084
140.08
3264601
SAT04/handmade/anton/l5k3/
lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf
SAT
140.23
140.227
3264293
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g5.cnf
SAT
148.79
148.793
3257957
crafted/skvortsov/battleship/
battleship-12-23-sat.cnf
SAT
157.042
157.039
3261433
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p30-s39712998.cnf
SAT
163.365
163.361
3266757
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_462.cnf
SAT
179.302
179.299
3262533
crafted/skvortsov/battleship/
battleship-7-13-sat.cnf
SAT
213.231
213.24
3261653
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf
SAT
301.354
301.344
3266889
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q225-n25-p30-s70617701.cnf
SAT
301.627
301.619
3266713
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_399.cnf
SAT
307.389
307.382
3261917
CRAFTED/sgi/
new-difficult-23-189-21-75.cnf
SAT
344.334
344.351
3259849
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_404.cnf
SAT
355.965
355.974
3262093
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_443.cnf
SAT
372.655
372.652
3262357
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-5_527.cnf
SAT
381.59
381.58
3261829
crafted/skvortsov/battleship/
battleship-10-19-sat.cnf
SAT
508.968
508.959
3261609
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf
SAT
532.851
532.838
3266669
crafted/skvortsov/battleship/
battleship-8-15-sat.cnf
SAT
540.814
540.795
3261037
crafted/skvortsov/battleship/
battleship-10-17-sat.cnf
SAT
788.854
788.837
3260905
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf
SAT
885.723
885.695
3264909
CRAFTED/edgematching/
compact/em_7_3_6_cmp.cnf
SAT
961.98
961.939
3257297
CRAFTED/parity-games/
instance_n9_i9_pp.cnf
SAT
1230.77
1230.75
3259805
crafted/skvortsov/battleship/
battleship-10-18-sat.cnf
SAT
1241.88
1241.84
3261169
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_505.cnf
SAT
1256.13
1256.15
3262489
Solver timed out (no solution given) (212 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf
? (TO)
1299.74
1300.01
3264997
crafted/spence/
hard/s113-100.cnf
? (TO)
1299.87
1300.01
3257253
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p15-s2076598.cnf
? (TO)
1299.94
1300.01
3266933
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g9.cnf
? (TO)
1299.95
1300.01
3258969
SAT05/crafted/sabharwal05/counting/php/unsat/
harder/php-020-019.shuffled-as.sat05-1190.cnf
? (TO)
1299.95
1300.02
3265261
SAT03/handmade/anton/UNSAT/
SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf
? (TO)
1299.95
1300.01
3263061
crafted/mosoi/289/
289-unsat-14x38.cnf
? (TO)
1299.95
1300.01
3249683
SAT03/handmade/anton/UNSAT/
SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf
? (TO)
1299.97
1300.01
3263589
crafted/skvortsov/automata-synchronization/
crn_40_1521_s.cnf
? (TO)
1299.97
1300.02
3249859
crafted/mosoi/289/
289-unsat-21x33.cnf
? (TO)
1299.98
1300.02
3249331
CRAFTED/rbsat/random/unforced/
rbsat-v1375c111739g4.cnf
? (TO)
1299.99
1300.02
3258265
CRAFTED/rbsat/crafted/
forced/rbsat-v1560c133795gyes1.cnf
? (TO)
1299.99
1300.01
3259585
SAT03/handmade/anton/UNSAT/
SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf
? (TO)
1299.99
1300.01
3262797
crafted/spence/sgen/
sgen3-n260-s62321009-sat.cnf
? (TO)
1299.99
1300.01
3274112
SAT04/handmade/kexu/frb-0.8/
frb59-26-2.used-as.sat04-892.cnf
? (TO)
1300
1300.01
3264205
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-4_512.cnf
? (TO)
1300
1300.01
3250211
SAT05/crafted/sabharwal05/counting/php/unsat/
easier/php-045-035.shuffled-as.sat05-1181.cnf
? (TO)
1300
1300.02
3265129
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf
? (TO)
1300
1300.01
3250783
crafted/skvortsov/battleship/
battleship-9-17-sat.cnf
? (TO)
1300
1300.01
3261785
CRAFTED/rbsat/random/unforced/
rbsat-v2100c215164g9.cnf
? (TO)
1300
1300.02
3258001
SAT05/crafted/sabharwal05/counting/fphp/unsat/
harder/fphp-030-029.shuffled-as.sat05-1234.cnf
? (TO)
1300.01
1300.02
3265305
SAT05/crafted/markstrom05/eulcbip/
eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf
? (TO)
1300.01
1300.01
3265569
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g7.cnf
? (TO)
1300.01
1300.01
3257913
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2071.cnf
? (TO)
1300.01
1300.01
3250431
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_464.cnf
? (TO)
1300.01
1300.01
3262005
SAT02/handmade/simon/
satex-challenges/c6288.shuffled.cnf
? (TO)
1300.01
1300.01
3266449
SAT04/handmade/hirsch03/
hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf
? (TO)
1300.01
1300.01
3264557
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes10.cnf
? (TO)
1300.02
1300.01
3259673
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes2.cnf
? (TO)
1300.02
1300.02
3258837
SAT03/handmade/stanion/hwb/
hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf
? (TO)
1300.02
1300.01
3263765
crafted/mosoi/289/
289-unsat-9x32.cnf
? (TO)
1300.02
1300.01
3249595
crafted/spence/sgen/
sgen3-n190-s29985700-unsat.cnf
? (TO)
1300.02
1300.01
3274253
SAT03/handmade/stanion/hwb/
hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf
? (TO)
1300.03
1300.01
3263853
CRAFTED/rbsat/random/unforced/
rbsat-v1375c111739g6.cnf
? (TO)
1300.03
1300.02
3258221
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf
? (TO)
1300.03
1300.01
3251311
CRAFTED/rbsat/crafted/
forced/rbsat-v2400c266431gyes2.cnf
? (TO)
1300.03
1300.01
3259717
crafted/manthey/sudoku-single-hard/
sudoku_81x81_unknown.cnf
? (TO)
1300.03
1300.01
3250123
SAT03/handmade/anton/UNSAT/
SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf
? (TO)
1300.03
1300.02
3263501
SAT03/handmade/anton/UNSAT/
SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf
? (TO)
1300.03
1300.01
3263633
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes3.cnf
? (TO)
1300.03
1300.02
3259629
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g7.cnf
? (TO)
1300.03
1300.01
3258309
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf
? (TO)
1300.03
1300.02
3251619
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf
? (TO)
1300.03
1300.02
3251047
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes2.cnf
? (TO)
1300.03
1300.02
3258353
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q585-n40-p15-s54275047.cnf
? (TO)
1300.03
1300.02
3251531
SAT03/handmade/anton/UNSAT/
SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf
? (TO)
1300.03
1300.01
3263325
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes5.cnf
? (TO)
1300.04
1300.01
3259233
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g7.cnf
? (TO)
1300.04
1300.01
3259101
CRAFTED/rbsat/crafted/unforced/
rbsat-v945c61409g3.cnf
? (TO)
1300.04
1300.01
3259057
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g6.cnf
? (TO)
1300.04
1300.01
3259013
CRAFTED/rbsat/crafted/unforced/
rbsat-v1820c171155g5.cnf
? (TO)
1300.04
1300.01
3258925
CRAFTED/rbsat/random/
forced/rbsat-v1820c171155gyes3.cnf
? (TO)
1300.04
1300.01
3258705
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes5.cnf
? (TO)
1300.04
1300.01
3258661
CRAFTED/rbsat/random/forced/
rbsat-v1375c111739gyes10.cnf
? (TO)
1300.04
1300.01
3258617
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes7.cnf
? (TO)
1300.04
1300.01
3258397
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf
? (TO)
1300.04
1300.02
3251575
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf
? (TO)
1300.04
1300.02
3251091
SAT04/handmade/connamacher/connm-d0.02/
connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf
? (TO)
1300.04
1300.01
3264425
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes5.cnf
? (TO)
1300.04
1300.02
3258441
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g1.cnf
? (TO)
1300.04
1300.01
3257869
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf
? (TO)
1300.04
1300.01
3263017
SAT03/handmade/anton/UNSAT/
SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf
? (TO)
1300.04
1300.01
3262841
SAT03/handmade/gomes/bqwh/
bqwh.50.825.shuffled-as.sat03-1648.cnf
? (TO)
1300.04
1300.02
3262709
SAT05/crafted/sorge05/QG7/
gensys-icl007.shuffled-as.sat05-3133.cnf
? (TO)
1300.04
1300.01
3265921
SAT05/crafted/sorge05/QG7a/
gensys-ukn003.shuffled-as.sat05-3843.cnf
? (TO)
1300.04
1300.01
3265833
SAT05/crafted/sorge05/QG7a/
gensys-icl005.shuffled-as.sat05-3826.cnf
? (TO)
1300.04
1300.01
3265701
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3900_3900_220.shuffled.cnf
? (TO)
1300.04
1300.01
3266317
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-5_4231.cnf
? (TO)
1300.04
1300.01
3250255
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2072.cnf
? (TO)
1300.04
1300.01
3250167
crafted/skvortsov/battleship/
battleship-11-21-sat.cnf
? (TO)
1300.04
1300.01
3261741
crafted/skvortsov/battleship/
battleship-15-29-sat.cnf
? (TO)
1300.04
1300.01
3261697
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_170.shuffled.cnf
? (TO)
1300.04
1300.01
3266273
SAT04/handmade/kexu/frb-0.8/
frb45-21-1.used-as.sat04-883.cnf
? (TO)
1300.04
1300.01
3264161
SAT04/handmade/kexu/frb-0.6/
frb80-14-2.used-as.sat04-880.cnf
? (TO)
1300.04
1300.01
3264117
SAT04/handmade/kexu/frb-0.6/
frb75-13-2.used-as.sat04-878.cnf
? (TO)
1300.04
1300.01
3264073
SAT03/handmade/stanion/hwb/
hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf
? (TO)
1300.04
1300.01
3263897
SAT03/handmade/stanion/hwb/
hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf
? (TO)
1300.04
1300.01
3263809
SAT03/handmade/anton/SAT/
SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf
? (TO)
1300.04
1300.02
3263721
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf
? (TO)
1300.04
1300.01
3263677
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf
? (TO)
1300.04
1300.02
3251663
crafted/skvortsov/
automata-synchronization/crn_20_361_s.cnf
? (TO)
1300.04
1300.01
3249903
crafted/skvortsov/
automata-synchronization/crn_20_360_u.cnf
? (TO)
1300.04
1300.01
3249815
crafted/mosoi/289/
289-unsat-21x39.cnf
? (TO)
1300.04
1300.01
3249771
crafted/mosoi/289/
289-unsat-6x34.cnf
? (TO)
1300.04
1300.01
3249155
crafted/spence/sgen/
sgen3-n200-s00813792-unsat.cnf
? (TO)
1300.04
1300.01
3274018
crafted/spence/sgen/
sgen3-n140-s20078956-unsat.cnf
? (TO)
1300.04
1300.01
3273971
crafted/spence/sgen/
sgen3-n180-s33098896-unsat.cnf
? (TO)
1300.04
1300.01
3273501
crafted/spence/sgen/
sgen3-n300-s12830984-sat.cnf
? (TO)
1300.04
1300.01
3273454
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf
? (TO)
1300.04
1300.01
3250827
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf
? (TO)
1300.04
1300.01
3262621
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf
? (TO)
1300.04
1300.01
3250739
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf
? (TO)
1300.04
1300.01
3250563
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_445.cnf
? (TO)
1300.04
1300.01
3262445
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_406.cnf
? (TO)
1300.04
1300.01
3262401
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_506.cnf
? (TO)
1300.04
1300.01
3262181
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-24_567.cnf
? (TO)
1300.04
1300.01
3261961
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-5-5_34308.cnf
? (TO)
1300.04
1300.02
3250299
crafted/mosoi/289/
289-unsat-7x39.cnf
? (TO)
1300.04
1300.01
3249463
CRAFTED/rbsat/crafted/
forced/rbsat-v2400c266431gyes3.cnf
? (TO)
1300.04
1300.01
3259321
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes7.cnf
? (TO)
1300.04
1300.02
3259277
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g2.cnf
? (TO)
1300.04
1300.02
3259189
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf
? (TO)
1300.05
1300.01
3264777
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g6.cnf
? (TO)
1300.05
1300.01
3258045
crafted/skvortsov/battleship/
battleship-16-31-sat.cnf
? (TO)
1300.05
1300.01
3260949
crafted/skvortsov/automata-synchronization/
crn_40_1520_u.cnf
? (TO)
1300.05
1300.02
3249947
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes8.cnf
? (TO)
1300.05
1300.01
3259453
SAT04/handmade/connamacher/connm-d0.04/
connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf
? (TO)
1300.05
1300.01
3264469
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-5_4232.cnf
? (TO)
1300.05
1300.01
3250475
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf
? (TO)
1300.05
1300.01
3264821
crafted/mosoi/289/
289-unsat-14x34.cnf
? (TO)
1300.05
1300.02
3249727
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.01
3264513
SAT04/handmade/marijn/equilarge-l/
equilarge_l2.used-as.sat04-894.cnf
? (TO)
1300.05
1300.01
3264645
SAT04/handmade/marijn/equilarge-l/
equilarge_l4.used-as.sat04-896.cnf
? (TO)
1300.05
1300.01
3264689
SAT02/handmade/simon/
satex-challenges/f600.shuffled.cnf
? (TO)
1300.05
1300.01
3266405
crafted/mosoi/289/
289-unsat-17x30.cnf
? (TO)
1300.05
1300.02
3249507
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g3.cnf
? (TO)
1300.05
1300.01
3258089
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf
? (TO)
1300.05
1300.02
3250915
crafted/mosoi/289/
289-unsat-5x41.cnf
? (TO)
1300.05
1300.01
3249287
crafted/mosoi/289/
289-unsat-13x32.cnf
? (TO)
1300.05
1300.02
3249199
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf
? (TO)
1300.05
1300.01
3265041
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf
? (TO)
1300.05
1300.02
3250959
crafted/spence/sgen/
sgen3-n240-s78945233-sat.cnf
? (TO)
1300.05
1300.01
3274159
SAT02/handmade/simon/satex-challenges/
par32-3.shuffled.cnf
? (TO)
1300.05
1300.01
3266493
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-4_511.cnf
? (TO)
1300.05
1300.01
3250343
CRAFTED/rbsat/crafted/
forced/rbsat-v2100c215164gyes4.cnf
? (TO)
1300.05
1300.02
3259409
SAT02/handmade/zhang-lintao/
xor-chain/x1_80.shuffled.cnf
? (TO)
1300.05
1300.02
3266537
crafted/spence/sgen/
sgen3-n130-s30940966-unsat.cnf
? (TO)
1300.05
1300.01
3273877
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf
? (TO)
1300.05
1300.02
3251267
crafted/spence/sgen/
sgen3-n220-s24359701-sat.cnf
? (TO)
1300.05
1300.01
3273783
crafted/spence/sgen/
sgen3-n170-s56409011-unsat.cnf
? (TO)
1300.05
1300.01
3273736
crafted/spence/sgen/
sgen3-n160-s73223945-unsat.cnf
? (TO)
1300.05
1300.01
3273689
crafted/spence/sgen/
sgen3-n150-s89334302-unsat.cnf
? (TO)
1300.05
1300.01
3273642
crafted/spence/sgen/
sgen3-n200-s39840374-sat.cnf
? (TO)
1300.05
1300.01
3273595
crafted/spence/sgen/
sgen3-n180-s34713902-sat.cnf
? (TO)
1300.05
1300.01
3273548
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes10.cnf
? (TO)
1300.05
1300.02
3259365
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_110.shuffled.cnf
? (TO)
1300.05
1300.01
3266361
SAT03/handmade/gomes/bqwh/
bqwh.60.1152.shuffled-as.sat03-1650.cnf
? (TO)
1300.05
1300.02
3262753
SAT03/handmade/anton/UNSAT/
SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf
? (TO)
1300.05
1300.01
3262885
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf
? (TO)
1300.05
1300.02
3251355
SAT03/handmade/anton/UNSAT/
SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf
? (TO)
1300.05
1300.02
3262929
CRAFTED/rbsat/random/unforced/
rbsat-v2100c215164g4.cnf
? (TO)
1300.05
1300.01
3258177
crafted/spence/sgen/
sgen3-n160-s40283905-sat.cnf
? (TO)
1300.05
1300.01
3273407
SAT05/crafted/sorge05/QG7a/
gensys-ukn004.shuffled-as.sat05-3844.cnf
? (TO)
1300.05
1300.01
3265789
SAT05/crafted/sorge05/QG7a/
gensys-ukn006.shuffled-as.sat05-3846.cnf
? (TO)
1300.05
1300.01
3265745
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes7.cnf
? (TO)
1300.05
1300.02
3258529
SAT05/crafted/sorge05/QG7a/
gensys-ukn009.shuffled-as.sat05-3849.cnf
? (TO)
1300.05
1300.01
3265657
SAT03/handmade/anton/UNSAT/
SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf
? (TO)
1300.05
1300.02
3262973
SAT05/crafted/roussel05/visbmc-PHNF/
phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf
? (TO)
1300.05
1300.01
3265525
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/
mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf
? (TO)
1300.05
1300.01
3264733
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes1.cnf
? (TO)
1300.05
1300.02
3258573
SAT03/handmade/anton/UNSAT/
SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf
? (TO)
1300.05
1300.01
3263105
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf
? (TO)
1300.05
1300.01
3264865
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf
? (TO)
1300.05
1300.01
3263149
SAT03/handmade/anton/UNSAT/
SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf
? (TO)
1300.05
1300.01
3263193
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf
? (TO)
1300.05
1300.01
3250695
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf
? (TO)
1300.05
1300.01
3250651
crafted/skvortsov/battleship/
battleship-17-33-sat.cnf
? (TO)
1300.05
1300.01
3261565
crafted/skvortsov/battleship/
battleship-15-15-unsat.cnf
? (TO)
1300.05
1300.01
3250079
crafted/skvortsov/battleship/
battleship-16-16-unsat.cnf
? (TO)
1300.05
1300.01
3250035
crafted/skvortsov/battleship/
battleship-7-12-unsat.cnf
? (TO)
1300.05
1300.01
3261345
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf
? (TO)
1300.05
1300.01
3262577
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g4.cnf
? (TO)
1300.05
1300.02
3257825
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf
? (TO)
1300.05
1300.01
3250607
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf
? (TO)
1300.05
1300.01
3264953
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g9.cnf
? (TO)
1300.05
1300.01
3259145
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes1.cnf
? (TO)
1300.05
1300.02
3259541
CRAFTED/rbsat/random/unforced/
rbsat-v2400c266431g10.cnf
? (TO)
1300.05
1300.02
3257781
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes6.cnf
? (TO)
1300.05
1300.02
3259497
CRAFTED/modcircuits/
mod4block_3vars_7gates.cnf
? (TO)
1300.05
1300.01
3257561
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_508.cnf
? (TO)
1300.05
1300.01
3250519
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_507.cnf
? (TO)
1300.05
1300.01
3262049
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes6.cnf
? (TO)
1300.05
1300.02
3258485
SAT04/handmade/kexu/frb-0.8/
frb59-26-1.used-as.sat04-891.cnf
? (TO)
1300.05
1300.01
3264249
CRAFTED/edgematching/
fbcolors/em_8_4_5_fbc.cnf
? (TO)
1300.06
1300.01
3257473
SAT05/crafted/sabharwal05/counting/fphp/unsat/
harder/fphp-020-019.shuffled-as.sat05-1232.cnf
? (TO)
1300.06
1300.02
3265349
SAT05/crafted/sabharwal05/counting/php/unsat/
harder/php-040-039.shuffled-as.sat05-1194.cnf
? (TO)
1300.06
1300.01
3265217
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf
? (TO)
1300.06
1300.01
3266845
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf
? (TO)
1300.06
1300.02
3251179
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf
? (TO)
1300.06
1300.02
3251135
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf
? (TO)
1300.06
1300.02
3251003
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf
? (TO)
1300.06
1300.02
3250871
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q663-n40-p15-s72490337.cnf
? (TO)
1300.06
1300.02
3251487
SAT05/crafted/sabharwal05/ordering/gt-ordering/
sat/gt-030.shuffled-as.sat05-1295.cnf
? (TO)
1300.06
1300.02
3265437
crafted/skvortsov/battleship/
battleship-13-13-unsat.cnf
? (TO)
1300.06
1300.01
3261213
crafted/skvortsov/battleship/
battleship-14-14-unsat.cnf
? (TO)
1300.06
1300.01
3249991
crafted/mosoi/289/
289-unsat-6x40.cnf
? (TO)
1300.06
1300.01
3249639
crafted/mosoi/289/
289-unsat-17x27.cnf
? (TO)
1300.06
1300.02
3249551
crafted/spence/sgen/
sgen3-n280-s93756482-sat.cnf
? (TO)
1300.06
1300.01
3273924
crafted/spence/sgen/
sgen3-n120-s55656844-unsat.cnf
? (TO)
1300.06
1300.01
3273830
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-5-5_34309.cnf
? (TO)
1300.06
1300.02
3250387
CRAFTED/rbsat/random/
forced/rbsat-v1150c84314gyes1.cnf
? (TO)
1300.06
1300.01
3258881
CRAFTED/rbsat/random/forced/
rbsat-v2640c305320gyes10.cnf
? (TO)
1300.06
1300.01
3258793
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes3.cnf
? (TO)
1300.06
1300.02
3258749
CRAFTED/modcircuits/
mod3block_2vars_11gates_u2_autoenc.cnf
? (TO)
1300.06
1300.01
3257649
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
? (TO)
1300.06
1300.01
3257605
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q585-n40-p30-s19690873.cnf
? (TO)
1300.06
1300.02
3251707
crafted/skvortsov/battleship/
battleship-24-57-sat.cnf
? (TO)
1300.07
1300.02
3261081
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf
? (TO)
1300.07
1300.03
3251399
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q663-n40-p30-s67876261.cnf
? (TO)
1300.07
1300.02
3251443
SAT03/handmade/anton/UNSAT/
SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf
? (TO)
1300.07
1300.01
3263237
SAT03/handmade/anton/UNSAT/
SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf
? (TO)
1300.07
1300.01
3263281
SAT03/handmade/anton/UNSAT/
SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf
? (TO)
1300.07
1300.01
3263369
CRAFTED/rbsat/random/unforced/
rbsat-v2400c266431g3.cnf
? (TO)
1300.07
1300.01
3257737
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf
? (TO)
1300.07
1300.02
3251223
crafted/mosoi/
289/289-sat-14x8.cnf
? (TO)
1300.07
1300.01
3260069
crafted/mosoi/289/
289-unsat-21x40.cnf
? (TO)
1300.07
1300.01
3249375
SAT03/handmade/anton/UNSAT/
SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf
? (TO)
1300.07
1300.01
3263413
SAT03/handmade/anton/UNSAT/
SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf
? (TO)
1300.07
1300.01
3263457
SAT03/handmade/anton/UNSAT/
SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf
? (TO)
1300.07
1300.01
3263545
CRAFTED/edgematching/
compact/em_12_2_4_cmp.cnf
? (TO)
1300.08
1300.02
3257341
CRAFTED/edgematching/
compact/em_11_3_4_cmp.cnf
? (TO)
1300.08
1300.02
3257385
crafted/mosoi/289/
289-unsat-21x14.cnf
? (TO)
1300.08
1300.02
3249419