SAT 2009 Competition: main competition (phase2): benchmarks results per solver
Result page for solver clasp
1.2.0-SAT09-32
(complete)
Category "applications instances" (APPLICATION)
Solver proved unsatisfiability (UNSATISFIABLE) (115 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/babic/xinetd/
xinetd_vc56703.cnf
UNSAT
0.452931
0.453591
1831535
APPLICATIONS/bitverif/
minor/minor032.cnf
UNSAT
0.615905
0.617263
1831615
een-tip-uns-nusmv-t5.B.cnf
UNSAT
1.68174
1.68211
1831951
manol-pipe-g6bi.cnf
UNSAT
1.91671
1.91818
1831965
cmu-bmc-barrel6.cnf
UNSAT
2.54361
2.54469
1831563
APPLICATIONS/
bitverif/maxand/maxand064.cnf
UNSAT
2.97355
2.97445
1831659
industrial/babic/hsatv17/
hsat_vc11803.cnf
UNSAT
4.29435
4.29632
1831503
APPLICATIONS/bitverif/
minor/minor064.cnf
UNSAT
4.88026
4.88178
1831613
industrial/babic/hsatv17/
hsat_vc11813.cnf
UNSAT
6.06108
6.0688
1831501
manol-pipe-c9.cnf
UNSAT
6.51001
6.51042
1831989
APPLICATIONS/bitverif/
minxorminand/minxorminand032.cnf
UNSAT
9.1966
9.20005
1831619
APPLICATIONS/crypto/
md5gen/gus-md5-04.cnf
UNSAT
9.63653
9.63942
1831687
APPLICATIONS/bitverif/
countbitssrl/countbitssrl016.cnf
UNSAT
9.75651
9.75953
1831641
APPLICATIONS/bitverif/
minandmaxor/minandmaxor032.cnf
UNSAT
12.3721
12.3759
1831625
velev-live-uns-2.0-ebuf.cnf
UNSAT
14.4278
14.4327
1831963
APPLICATIONS/bioinfo/
q_query_2_L324_coli.cnf
UNSAT
14.7008
14.7044
1831821
APPLICATIONS/bitverif/
icbrt/icbrt1_32.cnf
UNSAT
15.4107
15.416
1831651
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
UNSAT
16.1495
16.1555
1831513
industrial/anbulagan/
medium-unsat/total-5-11-u.cnf
UNSAT
16.4705
16.4763
1831413
velev-engi-uns-1.0-4nd.cnf
UNSAT
19.62
19.6268
1831585
APPLICATIONS/
bitverif/minand/minand128.cnf
UNSAT
23.8674
23.8736
1831635
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate016.cnf
UNSAT
24.8952
24.902
1831631
cmu-bmc-longmult15.cnf
UNSAT
26.209
26.2159
1831601
APPLICATIONS/crypto/
md5gen/gus-md5-05.cnf
UNSAT
26.286
26.2943
1831685
manol-pipe-g7nidw.cnf
UNSAT
27.7358
27.7447
1831987
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_06_UNSAT.cnf
UNSAT
35.5476
35.5578
1831939
velev-pipe-o-uns-1.1-6.cnf
UNSAT
48.8016
48.8269
1831959
industrial/anbulagan/
medium-unsat/total-5-13-u.cnf
UNSAT
49.4805
49.492
1831415
industrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
UNSAT
49.5635
49.5901
1831483
industrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
UNSAT
53.4929
53.5267
1831491
APPLICATIONS/crypto/
md5gen/gus-md5-06.cnf
UNSAT
53.8128
53.8288
1831683
hoons-vbmc-lucky7.cnf
UNSAT
55.3796
55.4031
1831575
APPLICATIONS/bitverif/
smulo/smulo016.cnf
UNSAT
64.4702
64.4886
1831647
APPLICATIONS/c32sat/
post-c32s-col400-16.cnf
UNSAT
68.9045
68.9206
1831799
APPLICATIONS/diagnosis/
UR-10-5p0.cnf
UNSAT
73.3079
73.3343
1831841
APPLICATIONS/diagnosis/
UCG-10-5p0.cnf
UNSAT
75.6995
75.7503
1831827
industrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
UNSAT
83.7253
83.7507
1831489
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
UNSAT
94.8936
94.9245
1831509
industrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
UNSAT
102.43
102.456
1831499
simon-s03-fifo8-300.cnf
UNSAT
111.475
111.514
1831981
industrial/palacios/medium/
cube-11-h13-unsat.cnf
UNSAT
117.376
117.415
1831495
simon-s02b-dp11u10.cnf
UNSAT
120.565
120.598
1831969
APPLICATIONS/diagnosis/
ACG-10-5p0.cnf
UNSAT
136.444
136.481
1831835
APPLICATIONS/bitverif/
minxorminand/minxorminand064.cnf
UNSAT
148.213
148.272
1831617
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
UNSAT
154.969
155.029
1831537
APPLICATIONS/crypto/
md5gen/gus-md5-07.cnf
UNSAT
162.969
163.015
1831691
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_07_UNSAT.cnf
UNSAT
188.712
188.764
1831915
industrial/fuhs/medium/
AProVE07-16.cnf
UNSAT
199.268
199.34
1831459
schup-l2s-abp4-1-k31.cnf
UNSAT
216.386
216.439
1831565
APPLICATIONS/c32sat/
post-cbmc-aes-ele-noholes.cnf
UNSAT
245.659
245.626
1831803
manol-pipe-g10id.cnf
UNSAT
314.386
314.551
1831957
velev-vliw-uns-4.0-9C1.cnf
UNSAT
324.398
324.491
1831967
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
UNSAT
328.962
329.059
1831545
velev-pipe-o-uns-1.0-7.cnf
UNSAT
337.537
337.629
1831971
goldb-heqc-alu4mul.cnf
UNSAT
377.512
377.668
1831609
APPLICATIONS/bioinfo/
q_query_3_L90_coli.sat.cnf
UNSAT
383.201
383.41
1831813
APPLICATIONS/bioinfo/
q_query_3_L80_coli.sat.cnf
UNSAT
400.182
400.317
1831809
manol-pipe-c10nidw_s.cnf
UNSAT
401.839
402.112
1831945
APPLICATIONS/diagnosis/
UCG-15-5p0.cnf
UNSAT
406.693
406.871
1831855
industrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
UNSAT
410.643
410.826
1831439
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
UNSAT
436.106
436.248
1831515
APPLICATIONS/bioinfo/
q_query_3_l48_lambda.cnf
UNSAT
438.311
438.441
1831785
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_07_UNSAT.cnf
UNSAT
464.644
464.768
1831923
industrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
UNSAT
487.887
488.073
1831497
APPLICATIONS/bioinfo/
q_query_3_l44_lambda.cnf
UNSAT
513.228
513.353
1831771
industrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
UNSAT
537.207
537.365
1831487
APPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
UNSAT
555.307
555.447
1831773
manol-pipe-c6nidw_i.cnf
UNSAT
573.408
573.563
1831993
APPLICATIONS/bioinfo/
q_query_3_L150_coli.sat.cnf
UNSAT
579.499
579.456
1831811
manol-pipe-c6bidw_i.cnf
UNSAT
581.625
581.764
1831591
industrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
UNSAT
619.829
620.117
1831443
APPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
UNSAT
642.138
642.32
1831795
APPLICATIONS/bioinfo/
q_query_3_l47_lambda.cnf
UNSAT
658.975
659.156
1831783
velev-pipe-uns-1.0-8.cnf
UNSAT
721.798
722.129
1831991
APPLICATIONS/bioinfo/
q_query_3_l45_lambda.cnf
UNSAT
737.719
737.906
1831789
manol-pipe-f9n.cnf
UNSAT
774.985
775.216
1831973
aloul-chnl11-13.cnf
UNSAT
786.563
786.837
1831595
APPLICATIONS/bioinfo/
q_query_3_L100_coli.sat.cnf
UNSAT
810.94
811.158
1831823
goldb-heqc-term1mul.cnf
UNSAT
892.208
892.426
1831961
manol-pipe-f9b.cnf
UNSAT
903.087
903.419
1831579
industrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
UNSAT
904.918
905.189
1831485
APPLICATIONS/bioinfo/
q_query_3_L200_coli.sat.cnf
UNSAT
1026.73
1027.19
1831819
industrial/fuhs/medium/
AProVE07-09.cnf
UNSAT
1086.33
1086.93
1831457
industrial/fuhs/hard/
AProVE07-27.cnf
UNSAT
1122.1
1122.44
1831469
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
UNSAT
1138.52
1138.83
1831553
industrial/fuhs/hard/
AProVE07-08.cnf
UNSAT
1300.43
1300.73
1831463
industrial/anbulagan/
medium-unsat/total-10-13-u.cnf
UNSAT
1376.71
1377.13
1831411
APPLICATIONS/bitverif/
maxxororand/maxxororand032.cnf
UNSAT
1419.74
1420.08
1831655
manol-pipe-g10bidw.cnf
UNSAT
1560.46
1561.03
1831947
APPLICATIONS/crypto/
md5gen/gus-md5-09.cnf
UNSAT
1565.63
1566.06
1831679
manol-pipe-c7bidw_i.cnf
UNSAT
1604.39
1604.89
1831985
goldb-heqc-dalumul.cnf
UNSAT
1720.6
1721.05
1831597
manol-pipe-g10nid.cnf
UNSAT
1762.68
1763.38
1831587
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
UNSAT
2045.93
2046.47
1831511
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_08_UNSAT.cnf
UNSAT
2214.93
2215.51
1831885
APPLICATIONS/diagnosis/
UTI-10-10p0.cnf
UNSAT
2228.18
2229.3
1831869
manol-pipe-c7nidw.cnf
UNSAT
2289.73
2290.36
1831955
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
UNSAT
2457.31
2457.86
1831547
APPLICATIONS/diagnosis/
UR-15-5p0.cnf
UNSAT
2560.54
2561.37
1831873
manol-pipe-f10ni.cnf
UNSAT
2904.16
2905.11
1831977
velev-vliw-uns-4.0-9-i1.cnf
UNSAT
3280.04
3281.5
1831569
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
UNSAT
3281.31
3282.63
1831541
APPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
UNSAT
3607.49
3607.01
1831621
APPLICATIONS/bitverif/countbitsarray/
countbitsarray02_32.cnf
UNSAT
3841.14
3842.23
1831663
APPLICATIONS/
bitverif/minxor/minxor128.cnf
UNSAT
4323.38
4325.95
1831623
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
UNSAT
4385.79
4386.94
1831905
goldb-heqc-i10mul.cnf
UNSAT
4804.55
4805.97
1831953
APPLICATIONS/c32sat/
post-cbmc-aes-d-r2-noholes.cnf
UNSAT
5239.08
5241.48
1831793
APPLICATIONS/diagnosis/
UTI-15-10p0.cnf
UNSAT
5317.12
5319.68
1831859
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r2-noholes.cnf
UNSAT
6291.16
6292.68
1831791
industrial/fuhs/hard/
AProVE07-01.cnf
UNSAT
6816.94
6818.67
1831461
APPLICATIONS/bitverif/countbitswegner/
countbitswegner064.cnf
UNSAT
6918.97
6920.66
1831657
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
UNSAT
8005.27
8007.45
1831453
APPLICATIONS/
c32sat/post-c32s-ss-8.cnf
UNSAT
8909.4
8911.97
1831801
APPLICATIONS/crypto/
md5gen/gus-md5-10.cnf
UNSAT
9208.11
9210.61
1831677
Solver found a solution (SATISFIABLE) (60 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
een-tip-sat-texas-tp-5e.cnf
SAT
0.138978
0.145303
1831607
APPLICATIONS/aprove09/
AProVE09-13.cnf
SAT
0.181971
0.186832
1831745
APPLICATIONS/aprove09/
AProVE09-22.cnf
SAT
0.274957
0.2783
1831751
APPLICATIONS/aprove09/
AProVE09-11.cnf
SAT
0.521919
0.526591
1831763
APPLICATIONS/aprove09/
AProVE09-07.cnf
SAT
0.602908
0.608053
1831755
APPLICATIONS/aprove09/
AProVE09-12.cnf
SAT
0.833872
0.843709
1831747
APPLICATIONS/aprove09/
AProVE09-25.cnf
SAT
1.00785
1.02767
1831743
APPLICATIONS/aprove09/
AProVE09-03.cnf
SAT
1.01085
1.04348
1831757
industrial/grieu/
vmpc_25.cnf
SAT
1.47777
1.47874
1831517
APPLICATIONS/aprove09/
AProVE09-01.cnf
SAT
1.56476
1.61015
1831749
APPLICATIONS/aprove09/
AProVE09-19.cnf
SAT
1.88071
1.90283
1831765
APPLICATIONS/aprove09/
AProVE09-05.cnf
SAT
1.9887
1.99292
1831739
APPLICATIONS/aprove09/
AProVE09-21.cnf
SAT
3.13452
3.15245
1831741
APPLICATIONS/aprove09/
AProVE09-08.cnf
SAT
3.22851
3.23461
1831759
APPLICATIONS/aprove09/
AProVE09-10.cnf
SAT
4.49532
4.5371
1831761
industrial/grieu/
vmpc_24.cnf
SAT
12.1901
12.1934
1831523
APPLICATIONS/aprove09/
AProVE09-15.cnf
SAT
13.376
13.4346
1831753
APPLICATIONS/bioinfo/
q_query_3_l37_lambda.cnf
SAT
15.6306
15.6465
1831775
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_17_SAT.cnf
SAT
16.8744
16.8809
1831911
APPLICATIONS/crypto/
desgen/gss-13-s100.cnf
SAT
17.1544
17.1771
1831719
APPLICATIONS/aprove09/
AProVE09-24.cnf
SAT
19.551
19.591
1831737
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_14_SAT.cnf
SAT
19.652
19.6564
1831899
industrial/palacios/uts/
uts-l06-ipc5-h35-unknown.cnf
SAT
22.7165
22.8297
1831481
APPLICATIONS/diagnosis/
UR-10-5p1.cnf
SAT
25.1872
25.257
1831837
APPLICATIONS/aprove09/
AProVE09-17.cnf
SAT
27.4408
27.4527
1831733
APPLICATIONS/bioinfo/
q_query_3_l38_lambda.cnf
SAT
27.8038
27.8244
1831787
velev-pipe-sat-1.0-b10.cnf
SAT
29.2346
29.3206
1831949
industrial/grieu/
vmpc_26.cnf
SAT
32.2731
32.2853
1831531
APPLICATIONS/crypto/
desgen/gss-15-s100.cnf
SAT
38.8421
38.8741
1831711
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf
SAT
58.3301
58.6819
1831557
APPLICATIONS/bioinfo/
q_query_3_l39_lambda.cnf
SAT
65.865
65.9029
1831781
APPLICATIONS/bioinfo/
q_query_3_l40_lambda.cnf
SAT
77.6552
77.6947
1831767
APPLICATIONS/bioinfo/
q_query_3_l42_lambda.cnf
SAT
82.1265
82.1665
1831769
APPLICATIONS/crypto/
desgen/gss-14-s100.cnf
SAT
86.8208
86.8699
1831709
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
98.409
98.7364
1831555
APPLICATIONS/bioinfo/
q_query_3_l41_lambda.cnf
SAT
116.791
116.841
1831779
industrial/grieu/
vmpc_28.cnf
SAT
144.829
144.88
1831527
APPLICATIONS/bioinfo/
q_query_3_L60_coli.sat.cnf
SAT
155.542
155.726
1831817
industrial/grieu/
vmpc_30.cnf
SAT
169.355
169.402
1831519
industrial/anbulagan/
medium-sat/partial-5-13-s.cnf
SAT
179.628
179.788
1831423
APPLICATIONS/aprove09/
AProVE09-06.cnf
SAT
187.802
187.888
1831731
mizh-md5-47-3.cnf
SAT
236.764
236.866
1831561
APPLICATIONS/bioinfo/
q_query_3_l43_lambda.cnf
SAT
256.518
256.607
1831777
APPLICATIONS/crypto/
desgen/gss-16-s100.cnf
SAT
281.086
281.194
1831699
APPLICATIONS/bioinfo/
q_query_3_L70_coli.sat.cnf
SAT
283.535
283.72
1831815
mizh-md5-47-4.cnf
SAT
363.32
363.5
1831599
mizh-sha0-35-3.cnf
SAT
378.083
378.219
1831603
vange-col-abb313GPIA-9-c.cnf
SAT
445.091
445.226
1831593
APPLICATIONS/c32sat/
post-c32s-gcdm16-22.cnf
SAT
685.095
685.106
1831805
APPLICATIONS/aprove09/
AProVE09-20.cnf
SAT
875.53
875.842
1831735
APPLICATIONS/crypto/
desgen/gss-17-s100.cnf
SAT
930.819
931.106
1831695
APPLICATIONS/crypto/
desgen/gss-20-s100.cnf
SAT
1002.03
1002.32
1831707
simon-s03-w08-15.cnf
SAT
1155.36
1155.76
1831571
mizh-md5-48-5.cnf
SAT
1316.58
1317.06
1831611
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_22_SAT.cnf
SAT
1411.28
1411.7
1831889
schup-l2s-motst-2-k315.cnf
SAT
1697.78
1698.56
1831581
industrial/grieu/
vmpc_29.cnf
SAT
1712.49
1712.92
1831525
APPLICATIONS/crypto/
desgen/gss-19-s100.cnf
SAT
3068.12
3069.01
1831729
APPLICATIONS/diagnosis/
UTI-15-10p1.cnf
SAT
3245.53
3246.58
1831825
industrial/palacios/medium/
cube-11-h14-sat.cnf
SAT
4421.51
4423.6
1831493
Solver timed out (no solution given) (90 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_09_UNSAT.cnf
? (TO)
10000
10002.7
1831919
goldb-heqc-x1mul.cnf
? (TO)
10000
10004.2
1831559
APPLICATIONS/crypto/
desgen/gss-28-s100.cnf
? (TO)
10000
10003
1831725
simon-s02b-k2f-gr-rcs-w8.cnf
? (TO)
10000.1
10003.2
1831983
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
10000.1
10004.5
1831427
industrial/anbulagan/
hard-unsat/total-5-15-u.cnf
? (TO)
10000.1
10002.9
1831431
APPLICATIONS/crypto/
desgen/gss-26-s100.cnf
? (TO)
10000.1
10003.4
1831705
APPLICATIONS/crypto/
desgen/gss-34-s100.cnf
? (TO)
10000.1
10002.8
1831713
APPLICATIONS/crypto/
desgen/gss-21-s100.cnf
? (TO)
10000.1
10003.3
1831721
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_11_UNKNOWN.cnf
? (TO)
10000.1
10004.1
1831941
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_17_UNKNOWN.cnf
? (TO)
10000.1
10003
1831893
mizh-sha0-36-2.cnf
? (TO)
10000.1
10002.6
1831975
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_13_UNSAT.cnf
? (TO)
10000.1
9999.07
1831917
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_13_UNKNOWN.cnf
? (TO)
10000.1
10003.8
1831935
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_11_UNKNOWN.cnf
? (TO)
10000.1
10002.5
1831883
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_10_UNKNOWN.cnf
? (TO)
10000.1
10003.4
1831887
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_10_UNKNOWN.cnf
? (TO)
10000.1
10003
1831937
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_12_UNSAT.cnf
? (TO)
10000.1
10002.4
1831891
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_14_UNSAT.cnf
? (TO)
10000.1
10002.6
1831895
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_11_UNSAT.cnf
? (TO)
10000.1
10003.4
1831897
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_10_UNSAT.cnf
? (TO)
10000.1
10004
1831907
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_12_UNKNOWN.cnf
? (TO)
10000.1
10003.4
1831913
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_14_UNKNOWN.cnf
? (TO)
10000.1
10002.7
1831931
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_16_UNKNOWN.cnf
? (TO)
10000.1
10002.7
1831929
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_20_SAT.cnf
? (TO)
10000.1
10002.7
1831921
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_09_UNKNOWN.cnf
? (TO)
10000.1
10002.8
1831933
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_12_UNKNOWN.cnf
? (TO)
10000.1
10003
1831925
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_09_UNSAT.cnf
? (TO)
10000.1
10003
1831927
schup-l2s-guid-1-k56.cnf
? (TO)
10000.1
10003.1
1831979
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_13_UNKNOWN.cnf
? (TO)
10000.1
10003
1831901
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
10000.1
10002.7
1831505
industrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
? (TO)
10000.1
10003.5
1831445
industrial/anbulagan/
hard-unsat/total-5-17-u.cnf
? (TO)
10000.1
10002.6
1831447
manol-pipe-c10nidw.cnf
? (TO)
10000.1
10005.2
1831583
industrial/fuhs/hard/
AProVE07-25.cnf
? (TO)
10000.1
10002.9
1831465
industrial/fuhs/hard/
AProVE07-26.cnf
? (TO)
10000.1
10003.2
1831467
industrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
? (TO)
10000.1
10004.8
1831471
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
10000.1
10002.8
1831473
industrial/palacios/hard/
safe-30-h29-unsat.cnf
? (TO)
10000.1
10002.8
1831477
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
? (TO)
10000.1
10003.6
1831507
industrial/grieu/
vmpc_34.cnf
? (TO)
10000.1
10002.9
1831529
industrial/grieu/
vmpc_33.cnf
? (TO)
10000.1
9999.03
1831521
mizh-sha0-36-3.cnf
? (TO)
10000.1
10003.5
1831573
goldb-heqc-frg1mul.cnf
? (TO)
10000.1
10002.7
1831567
mizh-sha0-36-4.cnf
? (TO)
10000.1
10002.6
1831589
APPLICATIONS/crypto/
desgen/gss-24-s100.cnf
? (TO)
10000.1
10002.7
1831723
APPLICATIONS/bitverif/
countbitssrl/countbitssrl032.cnf
? (TO)
10000.1
10003.4
1831637
APPLICATIONS/crypto/
desgen/gss-25-s100.cnf
? (TO)
10000.1
10003.9
1831727
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
? (TO)
10000.1
10002.7
1831633
APPLICATIONS/bitverif/
mulhs/mulhs016.cnf
? (TO)
10000.1
10002.6
1831643
APPLICATIONS/bitverif/
mulhs/mulhs032.cnf
? (TO)
10000.1
10002.6
1831645
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r3-noholes.cnf
? (TO)
10000.1
10005.2
1831807
APPLICATIONS/bitverif/countbitsarray/
countbitsarray08_32.cnf
? (TO)
10000.1
10004.8
1831665
APPLICATIONS/bitverif/countbitsarray/
countbitsarray32_32.cnf
? (TO)
10000.1
10002.8
1831667
APPLICATIONS/
bitverif/maxxor/maxxor064.cnf
? (TO)
10000.1
10004.2
1831671
APPLICATIONS/crypto/
md5gen/gus-md5-15.cnf
? (TO)
10000.1
10002.9
1831673
APPLICATIONS/crypto/
md5gen/gus-md5-16.cnf
? (TO)
10000.1
10003
1831675
APPLICATIONS/crypto/
md5gen/gus-md5-14.cnf
? (TO)
10000.1
10002.8
1831681
APPLICATIONS/crypto/
desgen/gss-33-s100.cnf
? (TO)
10000.1
10003.4
1831715
APPLICATIONS/crypto/
desgen/gss-32-s100.cnf
? (TO)
10000.1
10003.1
1831697
APPLICATIONS/crypto/
desgen/gss-22-s100.cnf
? (TO)
10000.1
10002.8
1831701
APPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
? (TO)
10000.1
10002.5
1831689
APPLICATIONS/crypto/
desgen/gss-23-s100.cnf
? (TO)
10000.1
10002.9
1831717
APPLICATIONS/crypto/
desgen/gss-31-s100.cnf
? (TO)
10000.1
10003.2
1831693
APPLICATIONS/crypto/
desgen/gss-27-s100.cnf
? (TO)
10000.1
10003.3
1831703
industrial/palacios/hard/
safe-50-h49-unsat.cnf
? (TO)
10000.2
10003.5
1831475
industrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
? (TO)
10000.2
10002.9
1831435
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
10000.2
10003.9
1831479
industrial/anbulagan/
hard-unsat/total-10-19-u.cnf
? (TO)
10000.2
10002.9
1831441
APPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
? (TO)
10000.2
10003.1
1831627
APPLICATIONS/bitverif/
maxor/maxor128.cnf
? (TO)
10000.2
10002.7
1831661
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_21_SAT.cnf
? (TO)
10000.2
10003
1831909
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate128.cnf
? (TO)
10000.2
10003
1831629
APPLICATIONS/diagnosis/
UR-15-10p0.cnf
? (TO)
10000.2
10004.5
1831875
manol-pipe-c10nid_i.cnf
? (TO)
10000.2
10002.9
1831605
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_15_UNKNOWN.cnf
? (TO)
10000.2
10005.6
1831903
APPLICATIONS/
bitverif/maxxor/maxxor128.cnf
? (TO)
10000.2
10004.4
1831669
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
? (TO)
10000.3
10003.2
1831419
industrial/anbulagan/
hard-sat/partial-5-17-s.cnf
? (TO)
10000.3
10002.9
1831417
industrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
? (TO)
10000.3
10004.5
1831437
APPLICATIONS/diagnosis/
UR-15-10p1.cnf
? (TO)
10000.3
10005.6
1831839
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
10000.3
10003.4
1831451
APPLICATIONS/diagnosis/
UTI-15-5p0.cnf
? (TO)
10000.3
10003.1
1831843
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
? (TO)
10000.3
10005.7
1831429
APPLICATIONS/diagnosis/
UTI-15-5p1.cnf
? (TO)
10000.3
10003.1
1831881
industrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
? (TO)
10000.3
10003.5
1831433
APPLICATIONS/diagnosis/
UCG-15-10p0.cnf
? (TO)
10000.3
10003.3
1831867
APPLICATIONS/bitverif/
smulo/smulo128.cnf
? (TO)
10000.3
10002.9
1831649
APPLICATIONS/bitverif/
maxxororand/maxxororand128.cnf
? (TO)
10000.3
10004.3
1831653
schup-l2s-bc56s-1-k391.cnf
? (TO)
10000.3
10003.2
1831577
Solver exceeded the memory limit (no solution given) (27 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/c32sat/
post-cbmc-zfcp-2.8-u2-noholes.cnf
? (MO)
22.2636
22.2698
1831797
velev-pipe-sat-1.0-b7.cnf
? (MO)
618.136
618.685
1831943
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (MO)
849.248
849.489
1831551
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
? (MO)
1259.82
1260.27
1831549
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
? (MO)
1439.5
1439.89
1831539
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
? (MO)
1979.82
1980.66
1831543
industrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
? (MO)
3337.55
3338.49
1831455
APPLICATIONS/diagnosis/
ACG-20-5p1.cnf
? (MO)
3938.7
3940.89
1831857
APPLICATIONS/diagnosis/
ACG-20-10p1.cnf
? (MO)
4379.3
4381.27
1831845
APPLICATIONS/diagnosis/
UTI-20-10p0.cnf
? (MO)
4584.01
4585.97
1831865
APPLICATIONS/diagnosis/
ACG-20-10p0.cnf
? (MO)
4692.28
4694.27
1831833
APPLICATIONS/diagnosis/
UTI-20-5p1.cnf
? (MO)
4918.08
4919.29
1831863
industrial/narain/
clauses-8.cnf
? (MO)
4942.26
4944.47
1831533
APPLICATIONS/diagnosis/
UTI-20-5p0.cnf
? (MO)
4999.1
5001.27
1831829
APPLICATIONS/diagnosis/
UCG-20-10p1.cnf
? (MO)
5077.13
5078.79
1831861
APPLICATIONS/diagnosis/
UCG-20-5p1.cnf
? (MO)
5126.37
5128.27
1831871
APPLICATIONS/diagnosis/
UTI-20-10p1.cnf
? (MO)
5180.62
5181.99
1831877
APPLICATIONS/diagnosis/
UR-20-10p1.cnf
? (MO)
5256.97
5259.07
1831879
APPLICATIONS/diagnosis/
UR-20-5p1.cnf
? (MO)
5366.9
5368.2
1831851
APPLICATIONS/bitverif/
countbitssrl/countbitssrl128.cnf
? (MO)
5389.05
5391.27
1831639
APPLICATIONS/diagnosis/
ACG-15-10p1.cnf
? (MO)
5428.32
5429.79
1831853
APPLICATIONS/diagnosis/
UCG-15-10p1.cnf
? (MO)
5881.8
5884.17
1831847
APPLICATIONS/diagnosis/
UR-20-5p0.cnf
? (MO)
6562.42
6564.17
1831849
industrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
? (MO)
6922.08
6923.78
1831449
industrial/anbulagan/
medium-sat/partial-5-15-s.cnf
? (MO)
7128.25
7130.77
1831425
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (MO)
7373.12
7377.37
1831421
APPLICATIONS/diagnosis/
ACG-15-10p0.cnf
? (MO)
8575.24
8578.29
1831831
Category "crafted instances" (CRAFTED)
Solver proved unsatisfiability (UNSATISFIABLE) (64 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/parity-games/
instance_n2_i2_pp.cnf
UNSAT
0.001998
0.0049959
1786158
CRAFTED/parity-games/
instance_n2_i3_pp.cnf
UNSAT
0.001998
0.00509696
1786122
CRAFTED/parity-games/
instance_n3_i4_pp_ci_ce.cnf
UNSAT
0.013997
0.0140369
1786098
crafted/Medium/contest05/pebbling/
unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf
UNSAT
0.067989
0.068022
1784676
CRAFTED/modcircuits/
owp_4vars_5gates.cnf
UNSAT
0.097984
0.09771
1785798
crafted/Medium/contest05/pebbling/
unsat-pbl-00090.sat05-1326.reshuffled-07.cnf
UNSAT
0.128979
0.129697
1784664
crafted/Medium/contest05/pebbling/
unsat-pbl-00080.sat05-1325.reshuffled-07.cnf
UNSAT
0.187971
0.188334
1784670
CRAFTED/parity-games/
instance_n4_i5_pp.cnf
UNSAT
0.657899
0.659103
1786176
CRAFTED/sgen/unsat/
sgen1-unsat-61-100.cnf
UNSAT
1.17882
1.17978
1785582
CRAFTED/parity-games/
instance_n5_i6_pp_ci_ce.cnf
UNSAT
1.91171
1.91289
1786110
crafted/Difficult/contest05/sabharwal/
grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf
UNSAT
2.00369
2.00463
1785222
crafted/Medium/contest05/sabharwal/
counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf
UNSAT
7.66783
7.67147
1784652
CRAFTED/sgen/unsat/
sgen1-unsat-73-100.cnf
UNSAT
21.4807
21.49
1785594
CRAFTED/ramseycube/
Q32inK09.cnf
UNSAT
25.1452
25.1576
1785702
crafted/Medium/contest05/others/
QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf
UNSAT
27.9827
27.9906
1784682
CRAFTED/ramseycube/
Q32inK10.cnf
UNSAT
44.7562
44.7706
1785690
crafted/Difficult/contest05/QG/
QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf
UNSAT
46.019
46.0315
1785174
crafted/Difficult/contest05/QG/
QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf
UNSAT
55.8495
55.867
1785162
crafted/Difficult/contest05/QG/
QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf
UNSAT
60.7178
60.7337
1785192
crafted/Difficult/contest05/QG/
QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf
UNSAT
61.9706
61.9848
1785180
crafted/Difficult/contest05/QG/
QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf
UNSAT
64.9721
64.9895
1785186
crafted/Difficult/contest05/QG/
QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf
UNSAT
67.8687
67.8872
1785168
crafted/Medium/contest05/others/
QG-gensys-brn008.sat05-2685.reshuffled-07.cnf
UNSAT
68.3686
68.3873
1784712
crafted/Hard/contest05/QG/
QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf
UNSAT
78.5631
78.5862
1784916
crafted/Medium/contest05/sabharwal/
counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf
UNSAT
93.1078
93.1538
1784646
crafted/Difficult/contest05/QG/
QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf
UNSAT
101.986
102.026
1785156
crafted/Medium/contest05/others/
QG-gensys-icl003.sat05-2715.reshuffled-07.cnf
UNSAT
102.476
102.505
1784706
CRAFTED/parity-games/
instance_n6_i7_pp_ci_ce.cnf
UNSAT
125.084
125.116
1786128
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf
UNSAT
169.901
169.952
1784760
crafted/Medium/contest05/others/
QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf
UNSAT
183.235
183.287
1784724
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf
UNSAT
199.967
200.017
1785330
CRAFTED/sgen/unsat/
sgen1-unsat-85-100.cnf
UNSAT
205.206
205.261
1785570
CRAFTED/ramseycube/
Q32inK11.cnf
UNSAT
232.343
232.423
1785672
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf
UNSAT
243.22
243.285
1784754
crafted/Difficult/contest-02-03-04/
contest02-Mat26.sat05-457.reshuffled-07.cnf
UNSAT
286.262
286.338
1785366
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf
UNSAT
296.86
296.969
1785354
crafted/Difficult/contest05/QG/
QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf
UNSAT
324.402
324.509
1785150
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf
UNSAT
334.451
334.576
1785372
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf
UNSAT
344.237
344.33
1785012
crafted/Medium/contest05/others/
pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf
UNSAT
350.792
350.887
1784718
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g4.cnf
UNSAT
351.007
351.143
1785894
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf
UNSAT
410.958
411.062
1785342
CRAFTED/modcircuits/
mod3_4vars_6gates.cnf
UNSAT
421.596
421.713
1785774
crafted/Hard/contest05/QG/
QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf
UNSAT
471.192
471.371
1784952
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf
UNSAT
496.374
496.54
1785324
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf
UNSAT
506.672
506.821
1785336
crafted/Hard/contest05/QG/
QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf
UNSAT
569.034
569.24
1784922
crafted/Hard/contest05/QG/
QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf
UNSAT
612.297
612.448
1784934
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf
UNSAT
861.916
862.185
1785348
crafted/Hard/contest03/others/
999999000001nw.sat05-447.reshuffled-07.cnf
UNSAT
979.4
979.663
1785090
crafted/Hard/contest02/
pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf
UNSAT
1073.97
1074.32
1785066
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf
UNSAT
1145.94
1146.25
1784778
crafted/Hard/contest05/QG/
QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf
UNSAT
1178.69
1179.04
1784940
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf
UNSAT
1373.78
1374.48
1784874
crafted/Hard/contest05/QG/
QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf
UNSAT
1499.75
1500.29
1784928
crafted/Difficult/contest05/others/
pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf
UNSAT
1607.26
1607.8
1785252
CRAFTED/sgen/unsat/
sgen1-unsat-97-100.cnf
UNSAT
1625.19
1625.64
1785564
crafted/Difficult/contest05/others/
linvrinv5.sat05-564.reshuffled-07.cnf
UNSAT
1704.33
1704.81
1785264
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf
UNSAT
2052.9
2053.43
1784868
crafted/Hard/contest05/QG/
QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf
UNSAT
2533.34
2534.01
1784946
crafted/Hard/contest03/others/
hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf
UNSAT
2642.62
2643.45
1785102
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf
UNSAT
3385.48
3386.6
1785306
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
UNSAT
3574.72
3575.64
1785804
CRAFTED/modcircuits/
mod4block_3vars_7gates.cnf
UNSAT
4109.89
4111.21
1785738
Solver found a solution (SATISFIABLE) (92 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/parity-games/
instance_n3_i3_pp_ci_ce.cnf
SAT
0.009997
0.0100689
1786104
CRAFTED/parity-games/
instance_n3_i3_pp.cnf
SAT
0.011997
0.0119311
1786182
CRAFTED/sgi/
satsgi-n17himBHm20-p0-q146.cnf
SAT
0.022995
0.02151
1785840
CRAFTED/sgi/
satsgi-n18himBHm21-p0-q167.cnf
SAT
0.024995
0.0252631
1785858
CRAFTED/ramseycube/
Q3inK08.cnf
SAT
0.025995
0.0264939
1785696
CRAFTED/sgi/
satsgi-n19himBHm22-p0-q181.cnf
SAT
0.028995
0.029833
1785828
CRAFTED/parity-games/
instance_n4_i4_pp_ci_ce.cnf
SAT
0.033993
0.035097
1786146
CRAFTED/sgi/
satsgi-n22himBHm24-p0-q209.cnf
SAT
0.044993
0.0454099
1785834
CRAFTED/sgi/
satsgi-n22himBHm25-p0-q229.cnf
SAT
0.046992
0.0474559
1785870
CRAFTED/sgi/
sgi-difficult4.cnf
SAT
0.049991
0.050658
1786074
CRAFTED/sgi/
satsgi-n23himBHm25-p0-q219.cnf
SAT
0.050991
0.0508459
1785864
CRAFTED/parity-games/
instance_n4_i4_pp.cnf
SAT
0.051992
0.0536
1786116
CRAFTED/sgi/
satsgi-n23himBHm26-p0-q248.cnf
SAT
0.053991
0.0545369
1785852
CRAFTED/sgi/
satsgi-n23himBHm27-p0-q251.cnf
SAT
0.05699
0.0572879
1785882
CRAFTED/sgi/
satsgi-n25himBHm27-p0-q251.cnf
SAT
0.068988
0.067788
1785846
CRAFTED/sgi/
satsgi-n25himBHm29-p0-q290.cnf
SAT
0.074988
0.0755051
1785888
CRAFTED/sgi/
satsgi-n28himBHm30-p0-q333.cnf
SAT
0.081986
0.0827709
1785876
CRAFTED/sgi/
sgi-difficult7.cnf
SAT
0.112982
0.113702
1786080
CRAFTED/parity-games/
instance_n5_i5_pp.cnf
SAT
0.219966
0.221466
1786134
CRAFTED/modcircuits/
mod5block_1var_7gates.cnf
SAT
0.38494
0.385558
1785726
CRAFTED/parity-games/
instance_n6_i6_pp.cnf
SAT
1.23381
1.23824
1786164
CRAFTED/ramseycube/
Q3inK09.cnf
SAT
1.27381
1.27341
1785660
crafted/Difficult/contest05/sabharwal/
grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf
SAT
1.84872
1.90314
1785204
crafted/Medium/contest05/others/
QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf
SAT
2.00169
2.00259
1784688
CRAFTED/
edgematching/all/em_8_4_5_all.cnf
SAT
3.00354
3.00548
1785468
crafted/Medium/contest05/others/
QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf
SAT
3.21751
3.2239
1784694
crafted/Medium/contest05/others/
QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf
SAT
3.85741
3.85996
1784700
CRAFTED/edgematching/
fbcolors/em_7_3_6_fbc.cnf
SAT
4.67729
4.67937
1785528
CRAFTED/
edgematching/all/em_7_3_6_all.cnf
SAT
6.35303
6.35737
1785486
CRAFTED/parity-games/
instance_n5_i6_pp.cnf
SAT
6.40203
6.40585
1786152
CRAFTED/edgematching/
explicit/em_7_3_6_exp.cnf
SAT
7.33288
7.33713
1785462
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf
SAT
8.84166
8.84757
1784658
CRAFTED/parity-games/
instance_n6_i6_pp_ci_ce.cnf
SAT
10.2204
10.2286
1786188
CRAFTED/edgematching/
explicit/em_8_4_5_exp.cnf
SAT
14.9637
14.9703
1785456
CRAFTED/modcircuits/
mod4block_2vars_11gates_u2_autoenc.cnf
SAT
16.8434
16.8481
1785762
CRAFTED/parity-games/
instance_n7_i7_pp.cnf
SAT
22.2826
22.2955
1786170
CRAFTED/sgi/
new-difficult-24-193-22-70.cnf
SAT
22.4366
22.4439
1786290
CRAFTED/rbsat/random/
forced/rbsat-v760c43649gyes10.cnf
SAT
23.9914
24.0007
1785960
CRAFTED/edgematching/
fbcolors/em_7_4_9_fbc.cnf
SAT
24.4923
24.4997
1785534
CRAFTED/modcircuits/
mod3block_3vars_9gates_restr.cnf
SAT
26.023
26.031
1785816
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes6.cnf
SAT
27.7948
27.8031
1785972
CRAFTED/
edgematching/all/em_7_4_9_all.cnf
SAT
28.9936
29.0023
1785498
CRAFTED/
edgematching/all/em_7_4_8_all.cnf
SAT
30.4094
30.4208
1785504
CRAFTED/edgematching/
explicit/em_7_4_9_exp.cnf
SAT
30.5254
30.5382
1785444
CRAFTED/parity-games/
instance_n7_i8_pp.cnf
SAT
31.5502
31.5691
1786194
CRAFTED/parity-games/
instance_n6_i7_pp.cnf
SAT
32.4701
32.4794
1786092
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf
SAT
39.621
39.633
1784742
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g10.cnf
SAT
41.2447
41.2607
1785930
CRAFTED/edgematching/
compact/em_7_4_9_cmp.cnf
SAT
41.2677
41.2791
1785378
CRAFTED/edgematching/
explicit/em_7_4_8_exp.cnf
SAT
47.3438
47.3609
1785450
CRAFTED/sgen/sat/
sgen1-sat-140-100.cnf
SAT
49.6005
49.6152
1785624
CRAFTED/ramseycube/
Q3inK10.cnf
SAT
51.6092
51.6238
1785678
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g8.cnf
SAT
58.5281
58.5436
1785906
CRAFTED/parity-games/
instance_n7_i7_pp_ci_ce.cnf
SAT
73.0019
73.0342
1786140
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes1.cnf
SAT
79.8239
79.8434
1785966
CRAFTED/sgi/
new-difficult-20-152-18-95.cnf
SAT
83.5823
83.6121
1786296
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes4.cnf
SAT
87.6287
87.6551
1785954
crafted/Medium/contest05/jarvisalo/
mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf
SAT
105.319
105.349
1784748
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g1.cnf
SAT
117.566
117.596
1785942
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes4.cnf
SAT
121.27
121.315
1785948
CRAFTED/sgi/
new-difficult-22-173-20-80.cnf
SAT
123.819
123.852
1786314
CRAFTED/edgematching/
all/em_12_2_4_all.cnf
SAT
134.345
134.394
1785474
CRAFTED/edgematching/
explicit/em_9_3_5_exp.cnf
SAT
148.384
148.417
1785432
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g10.cnf
SAT
150.424
150.463
1785924
CRAFTED/edgematching/
all/em_11_3_4_all.cnf
SAT
161.71
161.76
1785492
CRAFTED/edgematching/
all/em_14_7_3_all.cnf
SAT
168.26
168.316
1785480
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf
SAT
182.326
182.376
1784736
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf
SAT
321.26
321.462
1784730
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes9.cnf
SAT
326.019
326.115
1785984
CRAFTED/sgi/
new-difficult-21-168-19-90.cnf
SAT
371.47
371.587
1786302
CRAFTED/sgen/sat/
sgen1-sat-180-100.cnf
SAT
480.583
480.763
1785618
CRAFTED/sgen/sat/
sgen1-sat-160-100.cnf
SAT
517.73
518.364
1785636
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf
SAT
560.373
560.514
1785282
CRAFTED/ramseycube/
Q3inK11.cnf
SAT
672.354
672.65
1785708
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf
SAT
691.715
691.904
1785312
CRAFTED/parity-games/
instance_n8_i8_pp.cnf
SAT
783.429
783.654
1786260
crafted/Hard/contest02/
ezfact64_3.sat05-450.reshuffled-07.cnf
SAT
823.004
823.496
1785060
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf
SAT
977.901
978.174
1784766
CRAFTED/edgematching/
explicit/em_11_3_4_exp.cnf
SAT
1343.81
1344.18
1785426
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf
SAT
1586.11
1586.54
1785294
CRAFTED/parity-games/
instance_n8_i9_pp.cnf
SAT
1632.74
1633.48
1786266
CRAFTED/edgematching/
fbcolors/em_7_4_8_fbc.cnf
SAT
1743.26
1743.88
1785540
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf
SAT
1810.61
1811.04
1784970
CRAFTED/sgi/
new-difficult-23-189-21-75.cnf
SAT
2377.17
2377.8
1786320
CRAFTED/edgematching/
compact/em_7_4_8_cmp.cnf
SAT
2625.93
2626.63
1785414
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf
SAT
2844.73
2845.64
1784976
CRAFTED/sgen/sat/
sgen1-sat-200-100.cnf
SAT
2890.6
2891.38
1785654
CRAFTED/parity-games/
instance_n9_i9_pp.cnf
SAT
3428.67
3430.09
1786284
CRAFTED/parity-games/
instance_n8_i8_pp_ci_ce.cnf
SAT
4416.82
4417.99
1786254
CRAFTED/sgi/
new-difficult-26-243-24-70.cnf
SAT
4440.72
4442.01
1786308
CRAFTED/edgematching/
explicit/em_12_2_4_exp.cnf
SAT
4672.5
4674.4
1785438
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes1.cnf
SAT
4974.36
4975.73
1786056
Solver timed out (no solution given) (123 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Hard/contest05/others/
eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf
? (TO)
5000.01
5001.11
1784982
CRAFTED/sgen/sat/
sgen1-sat-220-100.cnf
? (TO)
5000.02
5001.71
1785630
CRAFTED/sgen/sat/
sgen1-sat-240-100.cnf
? (TO)
5000.02
5001.31
1785648
crafted/Hard/contest03/others/
hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf
? (TO)
5000.02
5001.51
1785084
CRAFTED/sgen/sat/
sgen1-sat-290-100.cnf
? (TO)
5000.02
5001.31
1786212
CRAFTED/sgen/sat/
sgen1-sat-230-100.cnf
? (TO)
5000.02
5001.41
1786224
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf
? (TO)
5000.02
5001.41
1785300
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf
? (TO)
5000.02
5001.31
1784784
CRAFTED/sgen/unsat/
sgen1-unsat-127-100.cnf
? (TO)
5000.02
5001.31
1786200
CRAFTED/sgen/sat/
sgen1-sat-260-100.cnf
? (TO)
5000.03
5001.91
1785606
crafted/Hard/contest05/others/
linvrinv8.sat05-567.reshuffled-07.cnf
? (TO)
5000.03
5001.31
1784964
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf
? (TO)
5000.03
5001.51
1785288
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf
? (TO)
5000.03
5001.41
1784808
crafted/Hard/contest02/
hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf
? (TO)
5000.03
4999.51
1785048
CRAFTED/modcircuits/
mod3block_2vars_10gates_u2_autoenc.cnf
? (TO)
5000.03
5001.92
1785750
CRAFTED/sgen/unsat/
sgen1-unsat-109-100.cnf
? (TO)
5000.03
5001.41
1785558
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf
? (TO)
5000.03
5001.51
1784802
crafted/Hard/contest02/
hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf
? (TO)
5000.04
5001.81
1785054
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf
? (TO)
5000.04
5001.92
1785024
CRAFTED/sgen/sat/
sgen1-sat-270-100.cnf
? (TO)
5000.04
5001.41
1786236
crafted/Hard/contest02/
hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf
? (TO)
5000.04
5001.41
1785072
crafted/Hard/contest04/others/
Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf
? (TO)
5000.04
5001.72
1784856
CRAFTED/sgen/unsat/
sgen1-unsat-115-100.cnf
? (TO)
5000.04
5001.61
1786206
CRAFTED/sgi/
new-difficult-28-302-26-75.cnf
? (TO)
5000.04
5001.52
1786326
CRAFTED/rbsat/crafted/unforced/
rbsat-v1820c171155g4.cnf
? (TO)
5000.05
5001.93
1786008
crafted/Hard/contest04/others/
Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf
? (TO)
5000.05
4999.52
1784820
crafted/Difficult/contest-02-03-04/
contest02-ezfact64_10.sat05-449.reshuffled-07.cnf
? (TO)
5000.05
5001.51
1785360
CRAFTED/rbsat/crafted/
forced/rbsat-v1820c171155gyes6.cnf
? (TO)
5000.05
5001.33
1786032
CRAFTED/sgen/unsat/
sgen1-unsat-139-100.cnf
? (TO)
5000.05
5001.91
1786230
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes8.cnf
? (TO)
5000.05
5001.82
1786044
crafted/Hard/contest02/
hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf
? (TO)
5000.05
5001.41
1785042
CRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes2.cnf
? (TO)
5000.05
5001.73
1786038
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes2.cnf
? (TO)
5000.05
5001.73
1785990
CRAFTED/rbsat/random/unforced/
rbsat-v1820c171155g3.cnf
? (TO)
5000.05
5001.33
1785912
crafted/Hard/contest05/counting-php/
easier-fphp-035-029.sat05-1221.reshuffled-07.cnf
? (TO)
5000.05
5001.73
1784958
crafted/Hard/contest03/looksrandom/
hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf
? (TO)
5000.05
5001.51
1785126
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf
? (TO)
5000.05
5001.31
1785120
CRAFTED/modcircuits/
mod3block_4vars_11gates_b2_restricted.cnf
? (TO)
5000.05
5001.81
1785786
CRAFTED/sgen/unsat/
sgen1-unsat-133-100.cnf
? (TO)
5000.05
5002.41
1785576
CRAFTED/sgen/unsat/
sgen1-unsat-145-100.cnf
? (TO)
5000.05
5002.41
1785588
CRAFTED/modcircuits/
mod4block_2vars_9gates_u2_autoenc.cnf
? (TO)
5000.06
5001.42
1785810
CRAFTED/rbsat/crafted/unforced/
rbsat-v1375c111739g6.cnf
? (TO)
5000.06
5001.83
1785996
crafted/Hard/contest04/others/
ramsey.sat05-511.reshuffled-07.cnf
? (TO)
5000.06
5001.71
1784826
CRAFTED/modcircuits/
mod3block_4vars_12gates_b2.cnf
? (TO)
5000.06
5002.14
1785780
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf
? (TO)
5000.06
5001.81
1784796
CRAFTED/sgen/unsat/
sgen1-unsat-151-100.cnf
? (TO)
5000.06
5001.91
1786242
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes8.cnf
? (TO)
5000.06
5001.75
1786050
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf
? (TO)
5000.06
5001.41
1784772
CRAFTED/rbsat/crafted/unforced/
rbsat-v2640c305320g4.cnf
? (TO)
5000.06
5001.75
1786002
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2_autoenc.cnf
? (TO)
5000.06
5001.41
1785756
crafted/Hard/contest04/others/
equilarge_l4.sat05-521.reshuffled-07.cnf
? (TO)
5000.07
5001.91
1784862
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf
? (TO)
5000.07
5001.62
1785030
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf
? (TO)
5000.07
5001.41
1785132
crafted/Hard/contest03/looksrandom/
hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf
? (TO)
5000.07
5001.41
1785114
crafted/Difficult/contest05/sabharwal/
counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf
? (TO)
5000.07
5001.81
1785234
crafted/Difficult/contest05/sabharwal/
counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf
? (TO)
5000.07
5001.81
1785240
CRAFTED/edgematching/
compact/em_7_3_6_cmp.cnf
? (TO)
5000.07
5001.31
1785384
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf
? (TO)
5000.07
5001.41
1785318
CRAFTED/modcircuits/
mod3block_4vars_12gates_b2_restricted.cnf
? (TO)
5000.07
5002.22
1785732
CRAFTED/modcircuits/
mod3block_2vars_11gates_u2_autoenc.cnf
? (TO)
5000.07
5001.42
1785822
CRAFTED/sgen/sat/
sgen1-sat-250-100.cnf
? (TO)
5000.07
5001.71
1786218
CRAFTED/sgen/unsat/
sgen1-unsat-103-100.cnf
? (TO)
5000.07
5001.41
1786248
CRAFTED/parity-games/
instance_n8_i9_pp_ci_ce.cnf
? (TO)
5000.07
5001.75
1786278
crafted/Difficult/contest05/sabharwal/
counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf
? (TO)
5000.08
5001.41
1785228
CRAFTED/edgematching/
compact/em_12_2_4_cmp.cnf
? (TO)
5000.08
5001.48
1785390
crafted/Hard/contest04/others/
CompositeRSA576.sat05-509.reshuffled-07.cnf
? (TO)
5000.08
5001.46
1784838
crafted/Hard/contest03/looksrandom/
hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf
? (TO)
5000.08
5001.41
1785138
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes2.cnf
? (TO)
5000.08
5001.92
1786026
CRAFTED/edgematching/
compact/em_11_3_4_cmp.cnf
? (TO)
5000.08
5001.76
1785402
crafted/Hard/contest05/others/
linvrinv9.sat05-568.reshuffled-07.cnf
? (TO)
5000.08
5001.51
1784994
CRAFTED/sgen/sat/
sgen1-sat-300-100.cnf
? (TO)
5000.09
5001.71
1785642
crafted/Hard/contest04/others/
equilarge_l2.sat05-519.reshuffled-07.cnf
? (TO)
5000.09
5001.62
1784832
CRAFTED/modcircuits/
mod3block_2vars_9gates_u2_autoenc.cnf
? (TO)
5000.09
5001.52
1785792
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf
? (TO)
5000.09
5001.36
1785198
crafted/Hard/contest03/others/
color-11-3.sat05-445.reshuffled-07.cnf
? (TO)
5000.09
5001.51
1785078
crafted/Difficult/contest05/sabharwal/
gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf
? (TO)
5000.09
5001.66
1785216
CRAFTED/edgematching/
compact/em_8_4_5_cmp.cnf
? (TO)
5000.09
5001.32
1785420
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g2.cnf
? (TO)
5000.09
5001.32
1785936
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf
? (TO)
5000.09
5001.31
1784790
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g5.cnf
? (TO)
5000.1
5001.34
1786014
crafted/Hard/contest03/looksrandom/
hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf
? (TO)
5000.1
5001.91
1785144
CRAFTED/sgen/sat/
sgen1-sat-280-100.cnf
? (TO)
5000.1
5019.81
1785612
CRAFTED/sgen/unsat/
sgen1-unsat-121-100.cnf
? (TO)
5000.1
5013.71
1785600
CRAFTED/modcircuits/
mod3block_4vars_11gates_b2.cnf
? (TO)
5000.1
5001.33
1785714
CRAFTED/modcircuits/
mod5block_2vars_12gates.cnf
? (TO)
5000.1
5001.33
1785744
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf
? (TO)
5000.1
5002.56
1784886
crafted/Hard/contest04/others/
equilarge_l3.sat05-520.reshuffled-07.cnf
? (TO)
5000.1
5001.41
1784814
crafted/Hard/contest04/others/
Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf
? (TO)
5000.1
5001.42
1784850
CRAFTED/edgematching/
compact/em_9_3_5_cmp.cnf
? (TO)
5000.1
5001.43
1785396
CRAFTED/edgematching/
fbcolors/em_9_3_5_fbc.cnf
? (TO)
5000.11
5001.45
1785516
CRAFTED/ramseycube/
Q3inK12.cnf
? (TO)
5000.11
5001.43
1785684
CRAFTED/rbsat/random/unforced/
rbsat-v2640c305320g2.cnf
? (TO)
5000.11
5001.34
1785918
crafted/Hard/contest03/others/
bqwh.40.reg.520.sat05-433.reshuffled-07.cnf
? (TO)
5000.11
5001.91
1785096
CRAFTED/ramseycube/
Q3inK13.cnf
? (TO)
5000.11
5001.95
1785666
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf
? (TO)
5000.11
5001.56
1785018
crafted/Difficult/contest05/others/
pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf
? (TO)
5000.11
5001.71
1785276
CRAFTED/edgematching/
fbcolors/em_11_3_4_fbc.cnf
? (TO)
5000.11
5002
1785552
CRAFTED/edgematching/
fbcolors/em_8_4_5_fbc.cnf
? (TO)
5000.11
5001.83
1785510
CRAFTED/rbsat/crafted/
forced/rbsat-v1560c133795gyes9.cnf
? (TO)
5000.11
5002.23
1786062
CRAFTED/rbsat/random/
forced/rbsat-v1150c84314gyes3.cnf
? (TO)
5000.11
5001.22
1785978
CRAFTED/parity-games/
instance_n7_i8_pp_ci_ce.cnf
? (TO)
5000.11
5001.53
1786086
crafted/Hard/contest05/others/
strips-gripper-18t35.sat05-1147.reshuffled-07.cnf
? (TO)
5000.11
5002.25
1785006
crafted/Difficult/contest05/others/
pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf
? (TO)
5000.12
5001.61
1785246
CRAFTED/edgematching/
fbcolors/em_12_2_4_fbc.cnf
? (TO)
5000.12
5001.49
1785546
crafted/Hard/contest03/others/
color-18-4.sat05-443.reshuffled-07.cnf
? (TO)
5000.12
5002.63
1785108
crafted/Hard/contest04/others/
Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf
? (TO)
5000.12
5001.33
1784844
CRAFTED/rbsat/crafted/unforced/
rbsat-v1375c111739g2.cnf
? (TO)
5000.12
5001.43
1786020
CRAFTED/modcircuits/
mod4block_2vars_9gates_u2.cnf
? (TO)
5000.12
5001.62
1785720
CRAFTED/modcircuits/
mod4block_2vars_10gates_u2_autoenc.cnf
? (TO)
5000.12
5001.52
1785768
CRAFTED/rbsat/random/unforced/
rbsat-v2640c305320g6.cnf
? (TO)
5000.13
5001.44
1785900
crafted/Difficult/contest05/others/
sgp_5-5-6.sat05-2675.reshuffled-07.cnf
? (TO)
5000.13
5001.76
1785270
CRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes1.cnf
? (TO)
5000.13
5001.42
1786068
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf
? (TO)
5000.15
5001.45
1784892
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf
? (TO)
5000.15
5001.58
1784880
CRAFTED/edgematching/
compact/em_14_7_3_cmp.cnf
? (TO)
5000.15
5002.39
1785408
CRAFTED/parity-games/
instance_n9_i9_pp_ci_ce.cnf
? (TO)
5000.16
5001.98
1786272
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf
? (TO)
5000.16
5002.83
1784904
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf
? (TO)
5000.18
5001.39
1784910
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf
? (TO)
5000.19
5001.39
1785210
crafted/Hard/contest02/
ezfact256_1.sat05-464.reshuffled-07.cnf
? (TO)
5000.21
5002.04
1785036
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf
? (TO)
5000.22
5002.38
1784898
crafted/Hard/contest05/others/
sgp_5-6-8.sat05-2669.reshuffled-07.cnf
? (TO)
5000.25
5001.76
1784988
crafted/Difficult/contest05/others/
sgp_6-6-10.sat05-2670.reshuffled-07.cnf
? (TO)
5000.32
5002.86
1785258
Solver exceeded the memory limit (no solution given) (2 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Hard/contest05/others/
sgp_9-8-8.sat05-2674.reshuffled-07.cnf
? (MO)
1827.91
1828.8
1785000
CRAFTED/edgematching/
fbcolors/em_14_7_3_fbc.cnf
? (MO)
2412.3
2413.01
1785522