SAT 2011 Competition: main competition (phase 1): benchmarks results per solver
Result page for solver glucose
2
(complete)
Category "applications instances" (APPLICATION)
Solver proved unsatisfiability (UNSATISFIABLE) (94 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
SAT02/industrial/biere/
dinphil/dp04u03.shuffled.cnf
UNSAT
0.010997
0.0124671
3293358
application/leberre/
2dimensionalstrippacking/E07N15.cnf
UNSAT
0.033994
0.034189
3291104
application/leberre/
2dimensionalstrippacking/E15N15.cnf
UNSAT
0.083986
0.0843721
3291150
SAT02/industrial/goldberg/rand_net/
rand_net60-30-1.shuffled.cnf
UNSAT
0.134979
0.136735
3292990
APPLICATIONS/bitverif/
minandmaxor/minandmaxor016.cnf
UNSAT
0.280957
0.282101
3281996
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf
UNSAT
0.353945
0.3539
3287332
application/leberre/
2dimensionalstrippacking/E04N18.cnf
UNSAT
0.599908
0.603085
3290966
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf
UNSAT
1.00884
1.01212
3287838
industrial/babic/dspam/
dspam_dump_vc949.cnf
UNSAT
1.13483
1.13675
3280800
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf
UNSAT
1.22481
1.22603
3287884
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf
UNSAT
1.44678
1.4488
3288206
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf
UNSAT
1.9377
1.93888
3287700
application/leberre/
2dimensionalstrippacking/E03N17.cnf
UNSAT
2.53661
2.53737
3290598
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf
UNSAT
3.02354
3.02527
3287608
industrial/babic/hsatv17/
hsat_vc12062.cnf
UNSAT
3.34749
3.34873
3280846
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf
UNSAT
3.47147
3.47257
3287976
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf
UNSAT
3.60145
3.60382
3287378
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf
UNSAT
4.10937
4.11603
3288160
SAT-Race-2010-CNF/software-verification/
nec/hard-18-U-10652.cnf
UNSAT
4.49132
4.4964
3293772
application/jarvisalo/
AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf
UNSAT
5.04823
5.05062
3286412
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf
UNSAT
5.66344
3.70491
3287654
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf
UNSAT
6.97094
6.9746
3287792
APPLICATIONS/diagnosis/
UTI-20-10t0.cnf
UNSAT
7.07092
7.07364
3283284
SAT04/industrial/hoonsang/vis-bmc/
dekker.used-as.sat04-989.cnf
UNSAT
7.76082
7.76139
3291886
application/leberre/
2dimensionalstrippacking/E05X15.cnf
UNSAT
8.02278
8.02535
3290920
SAT02/industrial/goldberg/rand_net/
rand_net60-25-10.shuffled.cnf
UNSAT
9.68853
9.68908
3293082
industrial/palacios/medium/
blocks-4-ipc5-h21-unknown.cnf
UNSAT
10.5654
10.569
3280754
SAT-Race-2010-CNF/software-verification/
nec/hard-25-U-7061.cnf
UNSAT
11.3613
12.4115
3293864
SAT-Race-2010-CNF/software-verification/
nec/hard-6-U-7061.cnf
UNSAT
11.5182
11.5926
3293818
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-18-step15.cnf
UNSAT
11.8872
11.8898
3286504
application/rintanen/SATPlanning/
grid-strips-grid-y-4.025-NOTKNOWN.cnf
UNSAT
13.124
13.1362
3285952
manol-pipe-c6bidw_i.cnf
UNSAT
13.37
13.3708
3281720
application/fuhs/
AProVE11/AProVE11-11.cnf
UNSAT
13.8349
13.8389
3284710
SAT04/industrial/hoonsang/vis-bmc/
all.used-as.sat04-986.cnf
UNSAT
20.1249
20.1277
3291932
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf
UNSAT
21.0498
21.0558
3287746
SAT-Race-2010-CNF/hardware-verification/
manolios/c10idw_i.cnf
UNSAT
23.2925
23.3252
3293496
application/leberre/
2dimensionalstrippacking/E02F17.cnf
UNSAT
23.5324
23.5321
3290552
industrial/manolios/
manol-pipe-f7idw.cnf
UNSAT
24.4043
24.4064
3281030
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf
UNSAT
25.2302
25.2318
3288252
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-nlzbe256-tseitin.cnf
UNSAT
25.4851
25.4853
3287056
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-27-step13.cnf
UNSAT
30.0214
30.0206
3286596
industrial/anbulagan/
medium-unsat/dated-5-11-u.cnf
UNSAT
32.2421
32.2498
3280110
application/leberre/
2dimensionalstrippacking/korf-15.cnf
UNSAT
35.3836
35.3902
3290460
APPLICATIONS/diagnosis/
ACG-10-10p0.cnf
UNSAT
42.4665
42.4724
3283192
manol-pipe-f7nidw.cnf
UNSAT
44.7702
44.7735
3281812
APPLICATIONS/diagnosis/
UCG-15-5p0.cnf
UNSAT
57.8422
57.8455
3283330
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf
UNSAT
59.9419
59.9473
3287930
application/rintanen/SATPlanning/
blocks-blocks-37-1.120-NOTKNOWN.cnf
UNSAT
64.4072
64.4096
3284848
APPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
UNSAT
73.8498
73.8616
3283008
APPLICATIONS/bioinfo/
q_query_3_L150_coli.sat.cnf
UNSAT
79.3219
79.3282
3283100
SAT03/industrial/simon/sat02/
6pipe_6_ooo.shuffled-as.sat03-413.cnf
UNSAT
83.9662
83.9906
3291242
APPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
UNSAT
84.3072
84.3058
3282962
industrial/fuhs/medium/
AProVE07-21.cnf
UNSAT
92.363
92.3734
3280478
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf
UNSAT
93.2378
93.2429
3285998
application/manthey/traffic/
traffic_fb_unknown.cnf
UNSAT
108.229
108.229
3288344
application/manthey/traffic/
traffic_f_unknown.cnf
UNSAT
108.343
108.347
3288482
application/manthey/traffic/
traffic_pcb_unknown.cnf
UNSAT
108.579
108.583
3288620
application/manthey/traffic/
traffic_kkb_unknown.cnf
UNSAT
110.799
110.804
3288436
application/manthey/traffic/
traffic_b_unsat.cnf
UNSAT
113.98
113.98
3288666
application/manthey/traffic/
traffic_3b_unknown.cnf
UNSAT
120.699
120.7
3288712
manol-pipe-c10nidw.cnf
UNSAT
144.2
144.208
3281628
velev-pipe-o-uns-1.0-7.cnf
UNSAT
173.43
173.43
3284250
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-12-step15.cnf
UNSAT
207.821
207.826
3286228
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf
UNSAT
212.906
212.906
3288068
SAT02/industrial/aloul/
Homer/homer14.shuffled.cnf
UNSAT
220.605
220.597
3292760
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf
UNSAT
222.232
222.232
3288114
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf
UNSAT
230.505
230.508
3286780
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k45.cnf
UNSAT
275.426
275.428
3281122
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k80.cnf
UNSAT
282.629
282.632
3281076
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k100.cnf
UNSAT
293.716
293.713
3281214
application/rintanen/SATPlanning/
grid-strips-grid-y-3.035-NOTKNOWN.cnf
UNSAT
354.072
354.073
3285814
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k20.cnf
UNSAT
354.708
354.723
3281168
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom13.cnf
UNSAT
372.971
372.97
3289218
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-17-step20.cnf
UNSAT
373.165
373.161
3286320
industrial/fuhs/hard/
AProVE07-03.cnf
UNSAT
400.521
400.517
3280570
SAT02/industrial/goldberg/rand_net/
rand_net60-40-10.shuffled.cnf
UNSAT
425.804
425.791
3293036
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf
UNSAT
457.783
457.786
3286918
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf
UNSAT
458.063
458.091
3287562
SAT02/industrial/nam/fpga-routing/
k2fix_gr_rcs_w9.shuffled.cnf
UNSAT
474.284
474.276
3293220
APPLICATIONS/
bitverif/maxxor/maxxor032.cnf
UNSAT
479.57
479.569
3282548
APPLICATIONS/diagnosis/
UCG-15-10p0.cnf
UNSAT
492.756
492.745
3283514
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom12.cnf
UNSAT
607.258
607.257
3289264
APPLICATIONS/diagnosis/
UTI-20-10p0.cnf
UNSAT
683.009
682.992
3283468
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-13-step17.cnf
UNSAT
763.451
763.426
3286734
SAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf
UNSAT
780.391
780.961
3292024
velev-vliw-uns-4.0-9-i1.cnf
UNSAT
890.145
890.128
3281582
application/rintanen/SATPlanning/
blocks-blocks-37-1.130-NOTKNOWN.cnf
UNSAT
942.491
942.492
3285768
SAT-Race-2010-CNF/hardware-verification/
velev/1dlx_c_iq57_a.cnf
UNSAT
1048.83
1048.81
3293588
SAT03/industrial/goldberg/hard_eq_check/
x1mul.miter.shuffled-as.sat03-359.cnf
UNSAT
1055.11
1055.32
3291380
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-TPP-21-step11.cnf
UNSAT
1116.75
1116.74
3286642
SAT03/industrial/schuppan/l2s/
bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf
UNSAT
1145.76
1145.8
3291656
application/leberre/
2dimensionalstrippacking/korf-17.cnf
UNSAT
1151.17
1151.15
3290874
application/rintanen/SATPlanning/
blocks-blocks-36-0.120-NOTKNOWN.cnf
UNSAT
1225.05
1225.04
3285124
SAT03/industrial/goldberg/hard_eq_check/
k2mul.miter.shuffled-as.sat03-355.cnf
UNSAT
1275.54
1275.51
3291426
Solver found a solution (SATISFIABLE) (83 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.005998
0.00697299
3292484
SAT05/industrial/maris05/DriverLog/
driverlog3_v01a.renamed-as.sat05-3963.cnf
SAT
0.007998
0.00958507
3292530
SAT02/industrial/aloul/
Bart/bart17.shuffled.cnf
SAT
0.008997
0.010512
3292714
SAT02/industrial/biere/
dinphil/dp04s04.shuffled.cnf
SAT
0.016996
0.017694
3293266
SAT05/industrial/maris05/Rovers/
rovers1_ks99i.renamed-as.sat05-3971.cnf
SAT
0.017996
0.0205139
3292576
application/kullmann/AES/Benchmarks/
32/aes_32_1_keyfind_1.cnf
SAT
0.024995
0.0272549
3290276
SAT05/industrial/maris05/Ferry/
ferry5_ks99i.renamed-as.sat05-3994.cnf
SAT
0.032994
0.0363079
3292622
SAT02/industrial/goldberg/fpga_routing/
vda_gr_rcs_w9.shuffled.cnf
SAT
0.431934
0.434116
3292898
SAT02/industrial/biere/
dinphil/dp10s10.shuffled.cnf
SAT
0.444932
0.446622
3293312
application/fuhs/
AProVE11/AProVE11-12.cnf
SAT
0.730888
0.732007
3284342
application/jarvisalo/
AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf
SAT
1.05884
1.06107
3286550
application/fuhs/
AProVE11/AProVE11-09.cnf
SAT
1.06584
1.06618
3284526
application/leberre/
2dimensionalstrippacking/E05F18.cnf
SAT
1.15582
1.1567
3290690
application/fuhs/
AProVE11/AProVE11-16.cnf
SAT
1.70674
1.70755
3284434
APPLICATIONS/diagnosis/
UTI-10-5t1.cnf
SAT
1.74473
1.74625
3283376
application/fuhs/
AProVE11/AProVE11-15.cnf
SAT
2.41363
2.41978
3284388
velev-pipe-sat-1.0-b9.cnf
SAT
2.67659
2.68363
3284158
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf
SAT
2.93855
2.94391
3287240
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf
SAT
3.2915
3.29596
3286964
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf
SAT
3.62445
3.63825
3287194
APPLICATIONS/diagnosis/
UTI-20-10t1.cnf
SAT
4.05538
4.26814
3283790
SAT05/industrial/grieu05/vmpc/
vmpc_25.renamed-as.sat05-1913.cnf
SAT
4.39733
4.40021
3292300
application/fuhs/
AProVE11/AProVE11-02.cnf
SAT
4.40533
4.4138
3284756
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf
SAT
4.72328
5.17403
3287102
application/fuhs/
AProVE11/AProVE11-07.cnf
SAT
5.31419
5.31672
3284480
application/fuhs/
AProVE11/AProVE11-10.cnf
SAT
5.43217
5.47928
3284572
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_15_SAT.cnf
SAT
5.65314
5.65543
3283974
application/manthey/
traffic/traffic_r_sat.cnf
SAT
5.9301
5.94179
3288574
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
6.82496
6.8606
3281398
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug6.cnf
SAT
7.72683
7.73808
3281444
APPLICATIONS/crypto/
desgen/gss-14-s100.cnf
SAT
9.14761
9.15857
3282824
application/kullmann/AES/Benchmarks/
32/aes_32_2_keyfind_1.cnf
SAT
9.58654
9.58644
3290230
application/leberre/
2dimensionalstrippacking/E04F19.cnf
SAT
10.0565
10.061
3290644
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-27-step14.cnf
SAT
10.6674
10.6769
3286366
application/fuhs/
AProVE11/AProVE11-13.cnf
SAT
11.5262
11.5558
3284664
APPLICATIONS/crypto/
desgen/gss-16-s100.cnf
SAT
11.9632
11.969
3282686
ibm-2002-21r-k95.cnf
SAT
12.5831
12.5973
3284296
ibm-2004-01-k90.cnf
SAT
16.9714
16.974
3281904
SAT_RACE08/Q1/
SAT_dat.k80_04.cnf
SAT
17.1544
17.1618
3281536
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf
SAT
19.922
19.9247
3287010
application/leberre/
2dimensionalstrippacking/E05F20.cnf
SAT
24.7732
26.196
3291196
application/rintanen/SATPlanning/
blocks-blocks-37-1.150-SAT.cnf
SAT
25.9461
25.9464
3285906
application/leberre/
2dimensionalstrippacking/E02F20.cnf
SAT
27.9038
27.9079
3290506
application/rintanen/SATPlanning/
blocks-blocks-36-0.180-SAT.cnf
SAT
29.2406
29.2814
3285078
APPLICATIONS/c32sat/
post-cbmc-zfcp-2.8-u2-noholes.cnf
SAT
29.2825
29.9309
3283054
application/leberre/
2dimensionalstrippacking/E04F20.cnf
SAT
33.3369
33.3462
3290828
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-TPP-30-step11.cnf
SAT
34.8977
34.919
3286274
APPLICATIONS/bioinfo/
q_query_3_L70_coli.sat.cnf
SAT
43.4474
43.4589
3283146
application/manthey/traffic/
traffic_r_uc_sat.cnf
SAT
44.2323
44.2394
3288390
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-12-step16.cnf
SAT
55.8385
55.8482
3286182
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-18-step16.cnf
SAT
67.3868
67.3937
3286458
APPLICATIONS/diagnosis/
ACG-15-5p1.cnf
SAT
70.0064
70.066
3283744
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_18_SAT.cnf
SAT
71.9311
71.9354
3283882
APPLICATIONS/diagnosis/
UR-10-10p1.cnf
SAT
79.245
79.2501
3283698
application/rintanen/SATPlanning/
blocks-blocks-36-0.170-NOTKNOWN.cnf
SAT
83.2933
83.3089
3285216
SAT04/industrial/velev/pipe-sat-1-1/
12pipe_bug6_q0.used-as.sat04-725.cnf
SAT
87.1188
87.1311
3292116
application/rintanen/SATPlanning/
blocks-blocks-36-0.160-NOTKNOWN.cnf
SAT
92.8329
92.8528
3286136
application/leberre/
2dimensionalstrippacking/E02F22.cnf
SAT
126.745
126.745
3290782
ibm-2004-23-k100.cnf
SAT
152.589
152.599
3281766
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
SAT
210.003
210.014
3280248
APPLICATIONS/crypto/
desgen/gss-19-s100.cnf
SAT
225.075
225.072
3282916
SAT04/industrial/velev/pipe-sat-1-1/
12pipe_bug4_q0.used-as.sat04-723.cnf
SAT
226.911
226.913
3292162
application/rintanen/SATPlanning/
transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf
SAT
248.81
248.832
3286044
application/manthey/traffic/
traffic_3_uc_sat.cnf
SAT
299.7
299.702
3288528
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf
SAT
300.165
300.17
3284986
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf
SAT
306.735
306.744
3281306
application/rintanen/SATPlanning/
transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf
SAT
390.995
390.993
3285446
ibm-2002-30r-k85.cnf
SAT
414.693
414.721
3281858
SAT_RACE08/Q1/
SAT_dat.k85.cnf
SAT
441.232
441.252
3281490
APPLICATIONS/diagnosis/
UCG-15-10p1.cnf
SAT
442.698
442.699
3283238
APPLICATIONS/diagnosis/
UCG-20-5p1.cnf
SAT
473.832
474.058
3283560
industrial/palacios/medium/
cube-11-h14-sat.cnf
SAT
482.887
482.95
3280708
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf
SAT
505.285
505.287
3281260
velev-npe-1.0-9dlx-b71.cnf
SAT
508.528
508.524
3284112
application/rintanen/SATPlanning/
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf
SAT
583.061
583.077
3284940
SAT-Race-2010-CNF/cryptography/
mizh/md5_48_3.cnf
SAT
646.671
646.893
3293450
application/rintanen/SATPlanning/
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf
SAT
676.139
676.15
3285262
SAT05/industrial/narain05/vpn/
clauses-8.renamed-as.sat05-1964.cnf
SAT
688.752
688.808
3292668
APPLICATIONS/diagnosis/
UTI-20-10p1.cnf
SAT
817.509
817.532
3283606
mizh-sha0-36-4.cnf
SAT
1087.44
1087.42
3281674
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf
SAT
1094.49
1094.49
3286872
SAT05/industrial/grieu05/vmpc/
vmpc_29.renamed-as.sat05-1916.cnf
SAT
1138.4
1138.36
3292254
SAT04/industrial/vangelder/cnf-color/
abb313GPIA-9-tr.used-as.sat04-321.cnf
SAT
1270.99
1270.97
3291748
Solver timed out (no solution given) (123 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
SAT03/industrial/schuppan/l2s/
valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf
? (TO)
1292.63
1300.01
3291610
SAT03/industrial/li/li-exam/
li-exam-61.shuffled-as.sat03-366.cnf
? (TO)
1298.37
1300.01
3291472
industrial/crypto/
mizh-sha0-36-2.cnf
? (TO)
1299.83
1300.01
3280984
APPLICATIONS/bitverif/
maxxororand/maxxororand064.cnf
? (TO)
1299.9
1300.01
3282272
SAT05/industrial/grieu05/vmpc/
vmpc_34.renamed-as.sat05-1926.cnf
? (TO)
1299.9
1300.01
3292208
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (TO)
1299.91
1300.01
3281352
SAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf
? (TO)
1299.91
1300.01
3291978
APPLICATIONS/
bitverif/maxxor/maxxor128.cnf
? (TO)
1299.93
1300.01
3282456
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
1299.93
1300.01
3280524
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top30.cnf
? (TO)
1299.93
1300.01
3289540
SAT03/industrial/li/li-test4/
li-test4-100.shuffled-as.sat03-370.cnf
? (TO)
1299.94
1300.01
3291518
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
1299.94
1300.01
3280294
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom18.cnf
? (TO)
1299.94
1300.02
3289586
application/kullmann/AES/Benchmarks/
128/aes_128_10_keyfind_1.cnf
? (TO)
1299.94
1300.01
3290000
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf
? (TO)
1299.94
1300.01
3284802
application/leberre/
2dimensionalstrippacking/E00X23.cnf
? (TO)
1299.95
1300.01
3291012
APPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
? (TO)
1299.95
1300.01
3281950
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom24.cnf
? (TO)
1299.95
1300.01
3288804
APPLICATIONS/diagnosis/
UR-20-10p0.cnf
? (TO)
1299.96
1300.01
3283422
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom22.cnf
? (TO)
1299.96
1300.01
3289678
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top24.cnf
? (TO)
1299.96
1300.01
3289172
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf
? (TO)
1299.96
1300.01
3288298
APPLICATIONS/
bitverif/maxxor/maxxor064.cnf
? (TO)
1299.96
1300.01
3282502
application/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf
? (TO)
1299.96
1300.01
3286090
SAT-Race-2010-CNF/hardware-verification/
velev/11pipe_11_ooo.cnf
? (TO)
1299.96
1300.01
3293634
application/kullmann/AES/Benchmarks/
64/aes_64_4_keyfind_1.cnf
? (TO)
1299.97
1300.01
3290046
application/kullmann/AES/Benchmarks/
128/aes_128_3_keyfind_1.cnf
? (TO)
1299.97
1300.01
3289862
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-countbits128-tseitin.cnf
? (TO)
1299.97
1300.01
3287286
industrial/anbulagan/
hard-unsat/dated-10-17-u.cnf
? (TO)
1299.98
1300.01
3280340
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf
? (TO)
1299.98
1300.01
3285032
application/kullmann/AES/Benchmarks/
32/aes_32_5_keyfind_1.cnf
? (TO)
1299.98
1300.01
3290322
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf
? (TO)
1299.98
1300.01
3287424
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom26.cnf
? (TO)
1299.98
1300.01
3288850
application/rintanen/SATPlanning/
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf
? (TO)
1299.98
1300.01
3285538
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_19_UNKNOWN.cnf
? (TO)
1299.98
1300.01
3284020
SAT03/industrial/goldberg/hard_eq_check/
c6288mul.miter.shuffled-as.sat03-346.cnf
? (TO)
1299.98
1300.01
3291334
application/kullmann/AES/Benchmarks/
128/aes_128_2_keyfind_1.cnf
? (TO)
1299.98
1300.01
3289908
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf
? (TO)
1299.99
1300.01
3285354
APPLICATIONS/bitverif/
maxor/maxor128.cnf
? (TO)
1299.99
1300.01
3282364
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
1299.99
1300.01
3280386
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom19.cnf
? (TO)
1299.99
1300.01
3289310
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf
? (TO)
1299.99
1300.01
3285170
APPLICATIONS/bitverif/
countbitssrl/countbitssrl064.cnf
? (TO)
1300
1300.01
3282134
SAT-Race-2010-CNF/hardware-verification/
velev/2dlx_ca_bp_f_liveness.cnf
? (TO)
1300
1300.01
3293680
APPLICATIONS/diagnosis/
UR-20-10p1.cnf
? (TO)
1300
1300.01
3283652
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
? (TO)
1300
1300.01
3280202
SAT03/industrial/maris/CNF/
gripper13u.shuffled-as.sat03-395.cnf
? (TO)
1300
1300.01
3291288
APPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
? (TO)
1300
1300.01
3282042
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top25.cnf
? (TO)
1300
1300.01
3289402
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf
? (TO)
1300
1300.01
3287148
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf
? (TO)
1300
1300.01
3285308
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top26.cnf
? (TO)
1300
1300.01
3288758
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom20.cnf
? (TO)
1300
1300.01
3288988
SAT02/industrial/aloul/
Homer/homer17.shuffled.cnf
? (TO)
1300
1300.01
3292852
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom17.cnf
? (TO)
1300
1300.01
3289724
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf
? (TO)
1300.01
1300.01
3285400
SAT02/industrial/aloul/
Homer/homer16.shuffled.cnf
? (TO)
1300.01
1300.01
3292806
SAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf
? (TO)
1300.01
1300.01
3292070
SAT04/industrial/vangelder/cnf-color/
myciel6-tr.used-as.sat04-320.cnf
? (TO)
1300.01
1300.01
3291840
SAT04/industrial/vangelder/
cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf
? (TO)
1300.01
1300.01
3291794
application/leberre/
2dimensionalstrippacking/E00N23.cnf
? (TO)
1300.01
1300.01
3291058
application/kullmann/AES/Benchmarks/
32/aes_32_4_keyfind_1.cnf
? (TO)
1300.01
1300.01
3290368
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom23.cnf
? (TO)
1300.01
1300.01
3289816
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom21.cnf
? (TO)
1300.01
1300.01
3289770
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom16.cnf
? (TO)
1300.01
1300.01
3289632
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom15.cnf
? (TO)
1300.01
1300.01
3288896
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf
? (TO)
1300.01
1300.01
3288022
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf
? (TO)
1300.01
1300.01
3287516
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf
? (TO)
1300.01
1300.01
3287470
application/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf
? (TO)
1300.01
1300.02
3285860
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf
? (TO)
1300.01
1300.01
3285630
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf
? (TO)
1300.01
1300.01
3285584
application/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf
? (TO)
1300.01
1300.01
3285492
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf
? (TO)
1300.01
1300.01
3284894
application/fuhs/
AProVE11/AProVE11-06.cnf
? (TO)
1300.01
1300.01
3284618
velev-pipe-o-uns-1.1-6.cnf
? (TO)
1300.01
1300.01
3284204
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_09_UNKNOWN.cnf
? (TO)
1300.01
1300.01
3284066
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_09_UNSAT.cnf
? (TO)
1300.01
1300.01
3283928
industrial/anbulagan/
hard-sat/partial-10-17-s.cnf
? (TO)
1300.01
1300.01
3280156
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
1300.01
1300.01
3280432
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
1300.01
1300.01
3280616
APPLICATIONS/bitverif/
smulo/smulo064.cnf
? (TO)
1300.01
1300.01
3282226
APPLICATIONS/bitverif/countbitswegner/
countbitswegner128.cnf
? (TO)
1300.01
1300.01
3282318
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top28.cnf
? (TO)
1300.02
1300.01
3289448
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-17-step21.cnf
? (TO)
1300.02
1300.01
3286688
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom14.cnf
? (TO)
1300.02
1300.01
3289494
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
? (TO)
1300.02
1300.01
3283836
application/leberre/
2dimensionalstrippacking/korf-18.cnf
? (TO)
1300.02
1300.01
3290736
APPLICATIONS/crypto/
md5gen/gus-md5-12.cnf
? (TO)
1300.02
1300.01
3282594
SAT05/industrial/grieu05/vmpc/
vmpc_32.renamed-as.sat05-1919.cnf
? (TO)
1300.02
1300.01
3292346
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
1300.02
1300.01
3280662
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
1300.02
1300.01
3280892
SAT05/industrial/grieu05/vmpc/
vmpc_35.renamed-as.sat05-1921.cnf
? (TO)
1300.02
1300.01
3292392
SAT05/industrial/grieu05/vmpc/
vmpc_36.renamed-as.sat05-1922.cnf
? (TO)
1300.02
1300.01
3292438
SAT03/industrial/kukula/addm_bench/
am_7_7.shuffled-as.sat03-363.cnf
? (TO)
1300.02
1300.01
3291564
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom25.cnf
? (TO)
1300.02
1300.01
3288942
SAT-Race-2010-CNF/hardware-verification/
velev/11pipe_k.cnf
? (TO)
1300.02
1300.01
3293726
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top22.cnf
? (TO)
1300.02
1300.01
3289034
SAT-Race-2010-CNF/hardware-verification/
velev/1dlx_c_iq60_a.cnf
? (TO)
1300.03
1300.01
3293542
APPLICATIONS/bitverif/countbitsarray/
countbitsarray04_32.cnf
? (TO)
1300.03
1300.02
3282410
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.080-SAT.cnf
? (TO)
1300.03
1300.01
3285722
SAT-Race-2010-CNF/cryptography/
mizh/sha0_36_5.cnf
? (TO)
1300.03
1300.01
3293404
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf
? (TO)
1300.03
1300.01
3285676
application/kullmann/AES/Benchmarks/
128/aes_128_1_keyfind_1.cnf
? (TO)
1300.03
1300.01
3289954
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top29.cnf
? (TO)
1300.03
1300.01
3289356
application/kullmann/AES/Benchmarks/
64/aes_64_2_keyfind_1.cnf
? (TO)
1300.03
1300.01
3290092
application/kullmann/AES/Benchmarks/
32/aes_32_3_keyfind_1.cnf
? (TO)
1300.03
1300.01
3290414
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top21.cnf
? (TO)
1300.03
1300.01
3289126
SAT03/industrial/schuppan/l2s/
dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf
? (TO)
1300.03
1300.01
3291702
SAT02/industrial/nam/fpga-routing/
k2fix_gr_rcs_w8.shuffled.cnf
? (TO)
1300.03
1300.01
3293174
APPLICATIONS/bitverif/
mulhs/mulhs016.cnf
? (TO)
1300.03
1300.01
3282180
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf
? (TO)
1300.04
1300.01
3286826
APPLICATIONS/crypto/
desgen/gss-21-s100.cnf
? (TO)
1300.04
1300.01
3282870
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
? (TO)
1300.04
1300.01
3280938
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top23.cnf
? (TO)
1300.04
1300.01
3289080
SAT02/industrial/goldberg/rand_net/
rand_net70-60-10.shuffled.cnf
? (TO)
1300.04
1300.01
3292944
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
? (TO)
1300.04
1300.01
3282088
application/kullmann/AES/Benchmarks/
64/aes_64_1_keyfind_1.cnf
? (TO)
1300.04
1300.01
3290138
application/kullmann/AES/Benchmarks/
64/aes_64_3_keyfind_1.cnf
? (TO)
1300.04
1300.01
3290184
APPLICATIONS/crypto/
desgen/gss-22-s100.cnf
? (TO)
1300.05
1300.01
3282732
APPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
? (TO)
1300.05
1300.01
3282640
APPLICATIONS/crypto/
desgen/gss-27-s100.cnf
? (TO)
1300.05
1300.01
3282778
SAT02/industrial/dellacherie/
comb/comb1.shuffled.cnf
? (TO)
1300.06
1300.01
3293128
Category "crafted instances" (CRAFTED)
Solver proved unsatisfiability (UNSATISFIABLE) (31 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3500_3500_30f1.shuffled.cnf
UNSAT
0.005998
0.00782104
3266180
crafted/skvortsov/battleship/
battleship-5-8-unsat.cnf
UNSAT
0.050992
0.055352
3261252
SAT05/crafted/sorge05/QG8/
gensys-ukn007.shuffled-as.sat05-3586.cnf
UNSAT
0.177972
0.181068
3266004
SAT03/handmade/bevan/cnf/
marg3x3add8.shuffled-as.sat03-1449.cnf
UNSAT
0.231964
0.233483
3263980
crafted/skvortsov/battleship/
battleship-6-9-unsat.cnf
UNSAT
0.477926
0.479047
3261516
SAT05/crafted/sabharwal05/planning/logistics/unsat/
logistics-rotate-07t5.shuffled-as.sat05-1137.cnf
UNSAT
0.710891
0.712408
3265080
SAT05/crafted/sabharwal05/counting/php/unsat/
easier/php-010-008.shuffled-as.sat05-1171.cnf
UNSAT
0.863868
0.867343
3265168
SAT03/handmade/bevan/cnf/
marg3x3add8ch.shuffled-as.sat03-1448.cnf
UNSAT
1.12783
1.13032
3264024
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/
grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf
UNSAT
1.2868
1.28932
3265388
crafted/skvortsov/
automata-synchronization/crn_11_99_u.cnf
UNSAT
1.81372
1.81555
3260724
crafted/skvortsov/battleship/
battleship-10-10-unsat.cnf
UNSAT
3.19451
3.19694
3261120
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3900_3900_060.shuffled.cnf
UNSAT
3.70444
3.70489
3266224
SAT02/handmade/chu-min-li/urquhart/
urquhart3_25bis.shuffled.cnf
UNSAT
11.3943
11.397
3266620
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-20_381.cnf
UNSAT
61.7746
61.7771
3262264
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-19_348.cnf
UNSAT
65.4401
65.4463
3262132
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf
UNSAT
77.8822
77.8871
3262660
SAT05/crafted/sorge05/QG6/
dead-dnd002.shuffled-as.sat05-2713.cnf
UNSAT
91.801
91.8037
3266092
crafted/skvortsov/
automata-synchronization/rnd_100_28_u.cnf
UNSAT
122.652
122.653
3260680
crafted/skvortsov/battleship/
battleship-12-12-unsat.cnf
UNSAT
143.5
143.502
3261384
crafted/skvortsov/
automata-synchronization/rnd_150_29_u.cnf
UNSAT
199.531
199.531
3260812
SAT03/handmade/markstrom/UNSATISFIABLE/
mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf
UNSAT
201.305
201.301
3263936
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_401.cnf
UNSAT
203.754
203.753
3262220
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-20_390.cnf
UNSAT
209.065
209.058
3262308
SAT02/handmade/zhang-lintao/
xor-chain/x1_40.shuffled.cnf
UNSAT
241.101
241.109
3266576
crafted/skvortsov/battleship/
battleship-11-11-unsat.cnf
UNSAT
287.257
287.253
3260988
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-5_528.cnf
UNSAT
569.851
569.838
3261868
crafted/skvortsov/
automata-synchronization/crn_20_360_u.cnf
UNSAT
623.952
623.968
3249810
SAT05/crafted/sorge05/QG7/
dead-dnd003.shuffled-as.sat05-3109.cnf
UNSAT
749.323
749.308
3265960
SAT05/crafted/sorge05/QG7/
gensys-icl007.shuffled-as.sat05-3133.cnf
UNSAT
886.506
886.478
3265916
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf
UNSAT
1052.28
1052.29
3262572
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_406.cnf
UNSAT
1298.2
1298.16
3262396
Solver found a solution (SATISFIABLE) (60 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/mosoi/289/
289-sat-4x8.cnf
SAT
0.006998
0.0087739
3259932
SAT02/handmade/pehoushek/twentyvars/
7cnf20_90000_90000_7.shuffled.cnf
SAT
0.008997
0.0125321
3266136
crafted/mosoi/289/
289-sat-5x8.cnf
SAT
0.009997
0.0133011
3260284
crafted/mosoi/
289/289-sat-11x4.cnf
SAT
0.009997
0.0125651
3260372
crafted/mosoi/289/
289-sat-7x6.cnf
SAT
0.009997
0.010843
3260240
crafted/mosoi/289/
289-sat-6x8.cnf
SAT
0.020996
0.0234479
3260416
crafted/mosoi/289/
289-sat-6x9.cnf
SAT
0.033994
0.035006
3260504
CRAFTED/sgi/
satsgi-n26himBHm28-p0-q293.cnf
SAT
0.037993
0.0391849
3257688
SAT05/crafted/sorge05/QG7/
iso-ukn004.shuffled-as.sat05-3385.cnf
SAT
0.040993
0.040692
3265872
crafted/skvortsov/battleship/
battleship-14-27-sat.cnf
SAT
0.051991
0.056119
3261472
SAT05/crafted/sorge05/QG8/
iso-ukn009.shuffled-as.sat05-3632.cnf
SAT
0.066989
0.0670639
3266048
crafted/mosoi/
289/289-sat-4x35.cnf
SAT
0.103984
0.104932
3259976
crafted/skvortsov/battleship/
battleship-24-57-sat.cnf
SAT
0.129979
0.132516
3261076
crafted/mosoi/
289/289-sat-11x9.cnf
SAT
0.167973
0.174824
3260460
crafted/mosoi/
289/289-sat-6x19.cnf
SAT
0.196969
0.197247
3259888
crafted/mosoi/
289/289-sat-9x13.cnf
SAT
0.237963
0.241794
3260152
CRAFTED/ramseycube/
Q3inK10.cnf
SAT
0.248961
0.250015
3257512
crafted/mosoi/
289/289-sat-6x20.cnf
SAT
0.276956
0.282163
3260108
crafted/mosoi/
289/289-sat-12x15.cnf
SAT
0.339947
0.343982
3260020
crafted/mosoi/
289/289-sat-12x14.cnf
SAT
0.549915
0.550132
3260328
crafted/mosoi/289/
289-unsat-6x30.cnf
SAT
0.579911
0.580539
3249238
SAT05/crafted/sorge05/QG7a/
gensys-brn002.shuffled-as.sat05-3935.cnf
SAT
0.793878
0.799361
3265608
SAT04/handmade/anton/l4k4/
lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf
SAT
1.15082
1.15119
3264376
crafted/skvortsov/battleship/
battleship-14-26-sat.cnf
SAT
1.49777
1.50365
3261296
crafted/skvortsov/
automata-synchronization/crn_11_100_s.cnf
SAT
2.50562
2.50543
3260636
crafted/spence/sgen/
sgen3-n120-s12930489-sat.cnf
SAT
5.13222
5.13342
3274060
crafted/skvortsov/
automata-synchronization/rnd_100_28_s.cnf
SAT
6.51601
6.51613
3260548
SAT04/handmade/anton/l5k3/
lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf
SAT
6.62499
6.64542
3264288
SAT04/handmade/anton/l5k3/
lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf
SAT
13.9579
13.9607
3264332
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q225-n25-p15-s58217873.cnf
SAT
20.8458
20.8486
3266796
CRAFTED/
edgematching/all/em_8_4_5_all.cnf
SAT
21.7497
21.7546
3257424
crafted/skvortsov/
automata-synchronization/rnd_150_42_s.cnf
SAT
22.6646
22.6667
3260592
crafted/mosoi/
289/289-sat-11x10.cnf
SAT
23.8954
23.8979
3260196
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q225-n25-p30-s70617701.cnf
SAT
27.2349
27.2355
3266708
crafted/skvortsov/
automata-synchronization/rnd_100_27_s.cnf
SAT
41.2967
41.3002
3260768
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g7.cnf
SAT
44.2563
44.2584
3258128
crafted/skvortsov/battleship/
battleship-7-13-sat.cnf
SAT
45.5771
45.5803
3261648
crafted/skvortsov/battleship/
battleship-15-29-sat.cnf
SAT
63.8623
63.8682
3261692
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf
SAT
70.2133
70.2283
3264904
SAT04/handmade/andrew/composite/
Composite-024BitPrimes-1.used-as.sat04-861.cnf
SAT
120.438
120.439
3264596
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g5.cnf
SAT
123.823
123.822
3257952
crafted/skvortsov/battleship/
battleship-12-23-sat.cnf
SAT
135.145
135.149
3261428
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p30-s39712998.cnf
SAT
166.936
166.933
3266752
crafted/skvortsov/battleship/
battleship-8-15-sat.cnf
SAT
180.771
180.786
3261032
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_399.cnf
SAT
182.354
182.355
3261912
CRAFTED/edgematching/
compact/em_7_3_6_cmp.cnf
SAT
201.371
201.369
3257292
CRAFTED/parity-games/
instance_n8_i8_pp_ci_ce.cnf
SAT
214.121
214.127
3259756
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-5_527.cnf
SAT
235.283
235.287
3261824
crafted/skvortsov/
automata-synchronization/rnd_100_32_s.cnf
SAT
244.265
244.273
3260856
crafted/spence/sgen/
sgen3-n140-s18527668-sat.cnf
SAT
263.876
263.874
3274201
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_404.cnf
SAT
391.368
391.363
3262088
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf
SAT
513.609
513.597
3264992
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf
SAT
698.024
698.005
3266972
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-24_567.cnf
SAT
742.926
742.909
3261956
crafted/skvortsov/
automata-synchronization/crn_20_361_s.cnf
SAT
762.459
762.445
3249898
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_505.cnf
SAT
763.725
763.707
3262484
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_443.cnf
SAT
941.417
941.401
3262352
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_462.cnf
SAT
1010.85
1010.85
3262528
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g4.cnf
SAT
1067.38
1067.36
3257820
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g9.cnf
SAT
1126.38
1126.35
3258964
Solver timed out (no solution given) (209 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/edgematching/
compact/em_11_3_4_cmp.cnf
? (TO)
1299.45
1300.01
3257380
crafted/mosoi/289/
289-unsat-14x38.cnf
? (TO)
1299.83
1300.01
3249678
crafted/skvortsov/automata-synchronization/
crn_40_1520_u.cnf
? (TO)
1299.87
1300.01
3249942
SAT03/handmade/anton/UNSAT/
SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf
? (TO)
1299.9
1300.01
3263540
crafted/skvortsov/battleship/
battleship-10-19-sat.cnf
? (TO)
1299.92
1300.01
3261604
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g1.cnf
? (TO)
1299.92
1300.01
3257864
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf
? (TO)
1299.92
1300.01
3250646
crafted/mosoi/289/
289-unsat-17x27.cnf
? (TO)
1299.93
1300.01
3249546
crafted/mosoi/289/
289-unsat-21x33.cnf
? (TO)
1299.93
1300.01
3249326
SAT03/handmade/anton/UNSAT/
SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf
? (TO)
1299.94
1300.01
3263452
SAT05/crafted/sabharwal05/counting/php/unsat/
harder/php-020-019.shuffled-as.sat05-1190.cnf
? (TO)
1299.94
1300.01
3265256
CRAFTED/edgematching/
compact/em_12_2_4_cmp.cnf
? (TO)
1299.94
1300.01
3257336
SAT03/handmade/anton/UNSAT/
SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf
? (TO)
1299.95
1300.01
3263232
SAT03/handmade/anton/UNSAT/
SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf
? (TO)
1299.95
1300.01
3263584
SAT03/handmade/anton/UNSAT/
SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf
? (TO)
1299.95
1300.01
3263100
SAT05/crafted/lynce05/social-golfer-problem/
sgp_5-6-8.shuffled-as.sat05-2669.cnf
? (TO)
1299.96
1300.01
3265476
SAT02/handmade/simon/
satex-challenges/f600.shuffled.cnf
? (TO)
1299.96
1300.01
3266400
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf
? (TO)
1299.96
1300.01
3251086
crafted/mosoi/289/
289-unsat-21x39.cnf
? (TO)
1299.96
1300.01
3249766
crafted/manthey/sudoku-single-hard/
sudoku_81x81_unknown.cnf
? (TO)
1299.97
1300.01
3250118
SAT03/handmade/stanion/hwb/
hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf
? (TO)
1299.97
1300.01
3263760
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2071.cnf
? (TO)
1299.97
1300.01
3250426
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf
? (TO)
1299.97
1300.01
3250910
crafted/spence/sgen/
sgen3-n180-s34713902-sat.cnf
? (TO)
1299.97
1300.01
3273543
crafted/mosoi/289/
289-unsat-5x41.cnf
? (TO)
1299.97
1300.01
3249282
SAT04/handmade/kexu/frb-0.8/
frb59-26-1.used-as.sat04-891.cnf
? (TO)
1299.98
1300.01
3264244
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf
? (TO)
1299.98
1300.01
3264816
SAT04/handmade/connamacher/connm-d0.04/
connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf
? (TO)
1299.98
1300.01
3264464
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g6.cnf
? (TO)
1299.98
1300.01
3259008
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-5_4231.cnf
? (TO)
1299.98
1300.01
3250250
SAT03/handmade/anton/UNSAT/
SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf
? (TO)
1299.99
1300.01
3263320
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf
? (TO)
1299.99
1300.01
3266664
CRAFTED/rbsat/crafted/
forced/rbsat-v2100c215164gyes4.cnf
? (TO)
1299.99
1300.01
3259404
SAT03/handmade/anton/UNSAT/
SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf
? (TO)
1299.99
1300.02
3263628
SAT03/handmade/anton/UNSAT/
SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf
? (TO)
1299.99
1300.01
3263408
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf
? (TO)
1299.99
1300.01
3250954
SAT03/handmade/anton/UNSAT/
SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf
? (TO)
1299.99
1300.01
3263496
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes5.cnf
? (TO)
1300
1300.01
3259228
CRAFTED/edgematching/
fbcolors/em_8_4_5_fbc.cnf
? (TO)
1300
1300.01
3257468
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes7.cnf
? (TO)
1300
1300.01
3258524
CRAFTED/sgi/
new-difficult-23-189-21-75.cnf
? (TO)
1300
1300.01
3259844
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf
? (TO)
1300
1300.01
3250822
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g2.cnf
? (TO)
1300
1300.01
3259184
CRAFTED/modcircuits/
mod3block_2vars_11gates_u2_autoenc.cnf
? (TO)
1300
1300.01
3257644
crafted/mosoi/289/
289-unsat-13x32.cnf
? (TO)
1300
1300.01
3249194
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes5.cnf
? (TO)
1300
1300.01
3258436
CRAFTED/rbsat/crafted/
forced/rbsat-v1560c133795gyes1.cnf
? (TO)
1300
1300.01
3259580
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf
? (TO)
1300
1300.01
3251306
SAT05/crafted/sabharwal05/ordering/gt-ordering/
sat/gt-030.shuffled-as.sat05-1295.cnf
? (TO)
1300.01
1300.01
3265432
SAT03/handmade/anton/UNSAT/
SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf
? (TO)
1300.01
1300.01
3262968
crafted/skvortsov/battleship/
battleship-13-13-unsat.cnf
? (TO)
1300.01
1300.01
3261208
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf
? (TO)
1300.01
1300.01
3251614
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf
? (TO)
1300.01
1300.01
3251570
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q585-n40-p15-s54275047.cnf
? (TO)
1300.01
1300.01
3251526
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf
? (TO)
1300.01
1300.01
3251350
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf
? (TO)
1300.01
1300.01
3251262
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf
? (TO)
1300.01
1300.01
3266884
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf
? (TO)
1300.01
1300.01
3266840
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf
? (TO)
1300.01
1300.01
3251042
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf
? (TO)
1300.01
1300.01
3250998
SAT02/handmade/zhang-lintao/
xor-chain/x1_80.shuffled.cnf
? (TO)
1300.01
1300.01
3266532
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_110.shuffled.cnf
? (TO)
1300.01
1300.01
3266356
SAT05/crafted/sorge05/QG7a/
gensys-ukn003.shuffled-as.sat05-3843.cnf
? (TO)
1300.01
1300.01
3265828
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf
? (TO)
1300.01
1300.01
3250866
SAT04/handmade/connamacher/connm-d-0.02/
connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf
? (TO)
1300.01
1300.01
3264508
SAT03/handmade/gomes/bqwh/
bqwh.50.825.shuffled-as.sat03-1648.cnf
? (TO)
1300.01
1300.01
3262704
crafted/skvortsov/battleship/
battleship-10-17-sat.cnf
? (TO)
1300.01
1300.01
3260900
SAT03/handmade/anton/UNSAT/
SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf
? (TO)
1300.01
1300.01
3263364
SAT03/handmade/anton/UNSAT/
SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf
? (TO)
1300.01
1300.01
3263056
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf
? (TO)
1300.01
1300.01
3263012
crafted/skvortsov/automata-synchronization/
crn_40_1521_s.cnf
? (TO)
1300.01
1300.01
3249854
crafted/mosoi/289/
289-unsat-14x34.cnf
? (TO)
1300.01
1300.01
3249722
crafted/mosoi/289/
289-unsat-9x32.cnf
? (TO)
1300.01
1300.01
3249590
crafted/mosoi/289/
289-unsat-17x30.cnf
? (TO)
1300.01
1300.01
3249502
crafted/mosoi/289/
289-unsat-6x34.cnf
? (TO)
1300.01
1300.01
3249150
crafted/spence/sgen/
sgen3-n240-s78945233-sat.cnf
? (TO)
1300.01
1300.01
3274154
crafted/spence/sgen/
sgen3-n200-s00813792-unsat.cnf
? (TO)
1300.01
1300.01
3274013
crafted/spence/sgen/
sgen3-n140-s20078956-unsat.cnf
? (TO)
1300.01
1300.01
3273966
crafted/spence/sgen/
sgen3-n150-s89334302-unsat.cnf
? (TO)
1300.01
1300.01
3273637
crafted/spence/sgen/
sgen3-n180-s33098896-unsat.cnf
? (TO)
1300.01
1300.01
3273496
crafted/spence/sgen/
sgen3-n300-s12830984-sat.cnf
? (TO)
1300.01
1300.01
3273449
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf
? (TO)
1300.01
1300.01
3250558
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_507.cnf
? (TO)
1300.01
1300.01
3262044
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-5_4232.cnf
? (TO)
1300.01
1300.01
3250470
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-5-5_34308.cnf
? (TO)
1300.01
1300.01
3250294
CRAFTED/rbsat/crafted/
forced/rbsat-v2400c266431gyes2.cnf
? (TO)
1300.01
1300.01
3259712
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes3.cnf
? (TO)
1300.01
1300.01
3259624
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes1.cnf
? (TO)
1300.01
1300.01
3259536
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes7.cnf
? (TO)
1300.01
1300.01
3259272
CRAFTED/rbsat/crafted/unforced/
rbsat-v1820c171155g5.cnf
? (TO)
1300.01
1300.01
3258920
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes1.cnf
? (TO)
1300.01
1300.01
3258568
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes6.cnf
? (TO)
1300.01
1300.01
3258480
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes7.cnf
? (TO)
1300.01
1300.01
3258392
CRAFTED/rbsat/random/unforced/
rbsat-v1375c111739g6.cnf
? (TO)
1300.01
1300.01
3258216
CRAFTED/rbsat/random/unforced/
rbsat-v1375c111739g4.cnf
? (TO)
1300.02
1300.01
3258260
CRAFTED/rbsat/random/
forced/rbsat-v1820c171155gyes3.cnf
? (TO)
1300.02
1300.01
3258700
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes5.cnf
? (TO)
1300.02
1300.01
3258656
SAT05/crafted/sabharwal05/counting/fphp/unsat/
harder/fphp-020-019.shuffled-as.sat05-1232.cnf
? (TO)
1300.02
1300.01
3265344
SAT05/crafted/roussel05/visbmc-PHNF/
phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf
? (TO)
1300.02
1300.01
3265520
CRAFTED/rbsat/random/forced/
rbsat-v1375c111739gyes10.cnf
? (TO)
1300.02
1300.01
3258612
crafted/spence/
hard/s113-100.cnf
? (TO)
1300.02
1300.01
3257248
SAT03/handmade/anton/UNSAT/
SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf
? (TO)
1300.02
1300.01
3262924
SAT05/crafted/sorge05/QG7a/
gensys-ukn006.shuffled-as.sat05-3846.cnf
? (TO)
1300.02
1300.01
3265740
SAT03/handmade/anton/UNSAT/
SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf
? (TO)
1300.02
1300.01
3262880
SAT02/handmade/simon/
satex-challenges/c6288.shuffled.cnf
? (TO)
1300.02
1300.01
3266444
crafted/spence/sgen/
sgen3-n190-s29985700-unsat.cnf
? (TO)
1300.02
1300.01
3274248
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g7.cnf
? (TO)
1300.02
1300.01
3258304
crafted/skvortsov/battleship/
battleship-16-31-sat.cnf
? (TO)
1300.02
1300.01
3260944
crafted/spence/sgen/
sgen3-n120-s55656844-unsat.cnf
? (TO)
1300.02
1300.01
3273825
crafted/spence/sgen/
sgen3-n170-s56409011-unsat.cnf
? (TO)
1300.02
1300.01
3273731
CRAFTED/rbsat/random/unforced/
rbsat-v2100c215164g4.cnf
? (TO)
1300.02
1300.01
3258172
crafted/spence/sgen/
sgen3-n160-s40283905-sat.cnf
? (TO)
1300.02
1300.01
3273402
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf
? (TO)
1300.02
1300.01
3251130
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf
? (TO)
1300.02
1300.01
3251174
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf
? (TO)
1300.02
1300.01
3250602
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_506.cnf
? (TO)
1300.02
1300.01
3262176
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_508.cnf
? (TO)
1300.02
1300.01
3250514
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g7.cnf
? (TO)
1300.02
1300.01
3257908
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_464.cnf
? (TO)
1300.02
1300.01
3262000
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf
? (TO)
1300.02
1300.01
3251218
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-4_511.cnf
? (TO)
1300.02
1300.01
3250338
CRAFTED/rbsat/random/unforced/
rbsat-v2400c266431g10.cnf
? (TO)
1300.02
1300.01
3257776
crafted/mosoi/289/
289-unsat-7x39.cnf
? (TO)
1300.02
1300.01
3249458
CRAFTED/parity-games/
instance_n9_i9_pp.cnf
? (TO)
1300.02
1300.01
3259800
CRAFTED/rbsat/random/unforced/
rbsat-v2400c266431g3.cnf
? (TO)
1300.02
1300.01
3257732
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes10.cnf
? (TO)
1300.02
1300.01
3259668
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
? (TO)
1300.02
1300.02
3257600
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes6.cnf
? (TO)
1300.02
1300.01
3259492
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes8.cnf
? (TO)
1300.02
1300.01
3259448
CRAFTED/modcircuits/
mod4block_3vars_7gates.cnf
? (TO)
1300.02
1300.01
3257556
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q663-n40-p15-s72490337.cnf
? (TO)
1300.02
1300.01
3251482
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf
? (TO)
1300.02
1300.01
3251658
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g9.cnf
? (TO)
1300.02
1300.01
3259140
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g7.cnf
? (TO)
1300.02
1300.01
3259096
CRAFTED/rbsat/crafted/unforced/
rbsat-v945c61409g3.cnf
? (TO)
1300.02
1300.01
3259052
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q585-n40-p30-s19690873.cnf
? (TO)
1300.02
1300.01
3251702
crafted/skvortsov/battleship/
battleship-17-33-sat.cnf
? (TO)
1300.02
1300.01
3261560
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf
? (TO)
1300.02
1300.01
3264772
CRAFTED/rbsat/random/forced/
rbsat-v2640c305320gyes10.cnf
? (TO)
1300.02
1300.01
3258788
SAT04/handmade/kexu/frb-0.8/
frb59-26-2.used-as.sat04-892.cnf
? (TO)
1300.02
1300.01
3264200
SAT04/handmade/kexu/frb-0.8/
frb45-21-1.used-as.sat04-883.cnf
? (TO)
1300.02
1300.01
3264156
SAT04/handmade/kexu/frb-0.6/
frb75-13-2.used-as.sat04-878.cnf
? (TO)
1300.02
1300.01
3264068
SAT05/crafted/sabharwal05/counting/php/unsat/
easier/php-045-035.shuffled-as.sat05-1181.cnf
? (TO)
1300.02
1300.01
3265124
SAT05/crafted/sabharwal05/counting/php/unsat/
harder/php-040-039.shuffled-as.sat05-1194.cnf
? (TO)
1300.02
1300.01
3265212
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes3.cnf
? (TO)
1300.02
1300.01
3258744
SAT04/handmade/marijn/equilarge-l/
equilarge_l4.used-as.sat04-896.cnf
? (TO)
1300.02
1300.01
3264684
SAT04/handmade/marijn/equilarge-l/
equilarge_l2.used-as.sat04-894.cnf
? (TO)
1300.02
1300.01
3264640
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2072.cnf
? (TO)
1300.02
1300.01
3250162
SAT05/crafted/sabharwal05/counting/fphp/unsat/
harder/fphp-030-029.shuffled-as.sat05-1234.cnf
? (TO)
1300.02
1300.01
3265300
crafted/skvortsov/battleship/
battleship-16-16-unsat.cnf
? (TO)
1300.02
1300.01
3250030
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-4_512.cnf
? (TO)
1300.03
1300.01
3250206
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-5-5_34309.cnf
? (TO)
1300.03
1300.01
3250382
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes2.cnf
? (TO)
1300.03
1300.01
3258832
crafted/skvortsov/battleship/
battleship-9-17-sat.cnf
? (TO)
1300.03
1300.01
3261780
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p15-s2076598.cnf
? (TO)
1300.03
1300.01
3266928
SAT04/handmade/hirsch03/
hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf
? (TO)
1300.03
1300.01
3264552
crafted/skvortsov/battleship/
battleship-15-15-unsat.cnf
? (TO)
1300.03
1300.01
3250074
crafted/mosoi/289/
289-unsat-6x40.cnf
? (TO)
1300.03
1300.01
3249634
SAT05/crafted/sorge05/QG7a/
gensys-ukn004.shuffled-as.sat05-3844.cnf
? (TO)
1300.03
1300.01
3265784
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf
? (TO)
1300.03
1300.01
3251394
crafted/mosoi/289/
289-unsat-21x40.cnf
? (TO)
1300.03
1300.01
3249370
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf
? (TO)
1300.03
1300.01
3264948
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes2.cnf
? (TO)
1300.03
1300.01
3258348
SAT03/handmade/anton/UNSAT/
SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf
? (TO)
1300.03
1300.01
3262792
crafted/spence/sgen/
sgen3-n260-s62321009-sat.cnf
? (TO)
1300.03
1300.01
3274107
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q663-n40-p30-s67876261.cnf
? (TO)
1300.03
1300.01
3251438
SAT03/handmade/anton/UNSAT/
SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf
? (TO)
1300.03
1300.01
3262836
crafted/spence/sgen/
sgen3-n220-s24359701-sat.cnf
? (TO)
1300.03
1300.01
3273778
CRAFTED/rbsat/crafted/
forced/rbsat-v2400c266431gyes3.cnf
? (TO)
1300.03
1300.01
3259316
SAT04/handmade/kexu/frb-0.6/
frb80-14-2.used-as.sat04-880.cnf
? (TO)
1300.03
1300.01
3264112
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g3.cnf
? (TO)
1300.03
1300.01
3258084
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g6.cnf
? (TO)
1300.03
1300.01
3258040
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/
mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf
? (TO)
1300.03
1300.01
3264728
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf
? (TO)
1300.03
1300.01
3250778
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf
? (TO)
1300.03
1300.01
3262616
CRAFTED/rbsat/random/unforced/
rbsat-v2100c215164g9.cnf
? (TO)
1300.03
1300.01
3257996
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_445.cnf
? (TO)
1300.03
1300.01
3262440
SAT03/handmade/anton/SAT/
SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf
? (TO)
1300.03
1300.01
3263716
CRAFTED/rbsat/random/
forced/rbsat-v1150c84314gyes1.cnf
? (TO)
1300.03
1300.01
3258876
crafted/skvortsov/battleship/
battleship-7-12-unsat.cnf
? (TO)
1300.03
1300.01
3261340
SAT03/handmade/anton/UNSAT/
SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf
? (TO)
1300.03
1300.01
3263276
SAT05/crafted/markstrom05/eulcbip/
eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf
? (TO)
1300.03
1300.01
3265564
crafted/skvortsov/battleship/
battleship-11-21-sat.cnf
? (TO)
1300.03
1300.01
3261736
SAT05/crafted/sorge05/QG7a/
gensys-ukn009.shuffled-as.sat05-3849.cnf
? (TO)
1300.03
1300.02
3265652
crafted/skvortsov/battleship/
battleship-14-14-unsat.cnf
? (TO)
1300.03
1300.01
3249986
SAT03/handmade/gomes/bqwh/
bqwh.60.1152.shuffled-as.sat03-1650.cnf
? (TO)
1300.04
1300.01
3262748
SAT03/handmade/stanion/hwb/
hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf
? (TO)
1300.04
1300.01
3263848
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes10.cnf
? (TO)
1300.04
1300.01
3259360
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf
? (TO)
1300.04
1300.01
3265036
crafted/skvortsov/battleship/
battleship-10-18-sat.cnf
? (TO)
1300.04
1300.01
3261164
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf
? (TO)
1300.04
1300.01
3263672
crafted/spence/sgen/
sgen3-n160-s73223945-unsat.cnf
? (TO)
1300.04
1300.01
3273684
SAT02/handmade/simon/satex-challenges/
par32-3.shuffled.cnf
? (TO)
1300.04
1300.01
3266488
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf
? (TO)
1300.04
1300.01
3250690
SAT03/handmade/anton/UNSAT/
SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf
? (TO)
1300.04
1300.01
3263188
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf
? (TO)
1300.04
1300.01
3263144
SAT03/handmade/stanion/hwb/
hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf
? (TO)
1300.04
1300.01
3263804
SAT03/handmade/stanion/hwb/
hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf
? (TO)
1300.04
1300.01
3263892
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf
? (TO)
1300.04
1300.01
3264860
crafted/spence/sgen/
sgen3-n280-s93756482-sat.cnf
? (TO)
1300.04
1300.01
3273919
crafted/spence/sgen/
sgen3-n130-s30940966-unsat.cnf
? (TO)
1300.04
1300.01
3273872
SAT04/handmade/connamacher/connm-d0.02/
connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf
? (TO)
1300.04
1300.01
3264420
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3900_3900_220.shuffled.cnf
? (TO)
1300.05
1300.01
3266312
crafted/spence/sgen/
sgen3-n200-s39840374-sat.cnf
? (TO)
1300.05
1300.01
3273590
SAT05/crafted/sorge05/QG7a/
gensys-icl005.shuffled-as.sat05-3826.cnf
? (TO)
1300.05
1300.01
3265696
crafted/mosoi/289/
289-unsat-21x14.cnf
? (TO)
1300.05
1300.01
3249414
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf
? (TO)
1300.05
1300.01
3250734
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_170.shuffled.cnf
? (TO)
1300.05
1300.01
3266268
crafted/mosoi/
289/289-sat-14x8.cnf
? (TO)
1300.06
1300.01
3260064