SAT 2009 Competition: main competition (phase2): benchmarks results per solver
Result page for solver gnovelty+2
2009-03-22
(incomplete)
Category "random instances" (RANDOM)
Solver found a solution (SATISFIABLE) (355 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1459690542-033.cnf
SAT
0.005998
0.00628691
1630025
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S2032263657-035.cnf
SAT
0.005998
0.00629407
1630031
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S725789261-031.cnf
SAT
0.005999
0.0070399
1629893
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1826927554-087.cnf
SAT
0.005999
0.00764508
1630019
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1733990810-090.cnf
SAT
0.006998
0.00790094
1629965
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1036996799-006.cnf
SAT
0.008997
0.00989401
1629995
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1339293988-069.cnf
SAT
0.008997
0.00915091
1629875
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1326039470-063.cnf
SAT
0.008997
0.00894092
1629866
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1161147107-031.cnf
SAT
0.008998
0.00980411
1629767
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1931398869-036.cnf
SAT
0.009997
0.010746
1629071
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S889538696-070.cnf
SAT
0.009997
0.00969889
1629815
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S602463346-055.cnf
SAT
0.010997
0.01095
1629734
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1916548023-003.cnf
SAT
0.010997
0.0112039
1629911
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S398733532-072.cnf
SAT
0.010998
0.011519
1629029
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1460100153-095.cnf
SAT
0.011997
0.0129699
1629779
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1159550149-077.cnf
SAT
0.011997
0.012761
1629080
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1876865608-086.cnf
SAT
0.011998
0.012069
1629827
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S308012126-046.cnf
SAT
0.011998
0.012234
1629116
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1002348653-090.cnf
SAT
0.012997
0.012043
1629938
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S621134782-041.cnf
SAT
0.012998
0.0141639
1629764
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S449556655-088.cnf
SAT
0.014996
0.0170099
1629950
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1940784272-089.cnf
SAT
0.014996
0.0157649
1629785
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1516934767-080.cnf
SAT
0.014996
0.015274
1629998
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S311671104-045.cnf
SAT
0.014997
0.0153999
1629791
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1674394075-027.cnf
SAT
0.015997
0.0162319
1629989
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1711406314-093.cnf
SAT
0.016996
0.01565
1630046
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1707873242-085.cnf
SAT
0.016997
0.0173551
1629101
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1912687159-077.cnf
SAT
0.017996
0.0183051
1630010
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S208461254-049.cnf
SAT
0.018996
0.0188451
1629896
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1880984131-087.cnf
SAT
0.019996
0.0200669
1629803
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1730125812-056.cnf
SAT
0.019996
0.0228029
1629944
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S809967194-078.cnf
SAT
0.020996
0.0220711
1629830
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1624574519-076.cnf
SAT
0.021995
0.0219561
1629797
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S321371087-018.cnf
SAT
0.021995
0.0219089
1629962
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S722433227-030.cnf
SAT
0.021996
0.0231651
1630037
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1041106011-094.cnf
SAT
0.022995
0.0233079
1630007
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S180439591-093.cnf
SAT
0.022995
0.0240061
1629788
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S326477539-068.cnf
SAT
0.022995
0.0230259
1630004
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2106599808-035.cnf
SAT
0.023996
0.0269561
1629986
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S2025169165-076.cnf
SAT
0.024995
0.0253379
1629728
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1481888618-011.cnf
SAT
0.024995
0.0252029
1629041
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1040456712-073.cnf
SAT
0.026995
0.027004
1629083
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S957997002-040.cnf
SAT
0.027995
0.0294621
1629932
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S2032726331-082.cnf
SAT
0.029995
0.030794
1629851
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1772254584-042.cnf
SAT
0.030994
0.031579
1629098
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S787972994-025.cnf
SAT
0.031994
0.032629
1629881
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S172053238-003.cnf
SAT
0.031994
0.032476
1629860
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1338462531-082.cnf
SAT
0.032994
0.0339369
1629941
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1293537826-039.cnf
SAT
0.033993
0.034719
1630034
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1263695887-042.cnf
SAT
0.034993
0.035718
1629890
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S144043535-002.cnf
SAT
0.035994
0.037021
1630043
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S852794659-023.cnf
SAT
0.037993
0.0376569
1629074
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S402241321-038.cnf
SAT
0.037993
0.037143
1629095
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S554804223-012.cnf
SAT
0.038994
0.0387071
1629947
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S146188995-071.cnf
SAT
0.039993
0.0409999
1629761
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S227954525-082.cnf
SAT
0.039993
0.0401471
1629773
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1841979702-078.cnf
SAT
0.039993
0.0409379
1630013
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S844931093-069.cnf
SAT
0.040993
0.0419489
1629833
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1684547485-073.cnf
SAT
0.041993
0.0431361
1630022
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1666821205-020.cnf
SAT
0.042992
0.0430681
1629884
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1546885609-031.cnf
SAT
0.045992
0.0462931
1629977
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1163324878-032.cnf
SAT
0.046992
0.046966
1629143
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1767425240-073.cnf
SAT
0.047992
0.04897
1629854
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S714125262-017.cnf
SAT
0.047992
0.0486719
1629857
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2035161427-020.cnf
SAT
0.047992
0.0484281
1629983
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S884941173-092.cnf
SAT
0.048991
0.0492821
1629047
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1362286908-061.cnf
SAT
0.049992
0.050531
1629782
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S986324446-009.cnf
SAT
0.050991
0.051268
1629050
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S658989873-070.cnf
SAT
0.052991
0.054265
1629740
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1429776379-099.cnf
SAT
0.052991
0.0528
1629818
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S824721511-001.cnf
SAT
0.05499
0.0551441
1629062
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S2139292994-055.cnf
SAT
0.054991
0.0552791
1629065
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1555503917-029.cnf
SAT
0.055991
0.0567309
1629974
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1864638535-048.cnf
SAT
0.058991
0.0597349
1629869
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1614425450-034.cnf
SAT
0.06299
0.06337
1629980
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1014608490-038.cnf
SAT
0.069988
0.0706581
1629800
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1977519792-030.cnf
SAT
0.070988
0.071953
1629758
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1258122549-031.cnf
SAT
0.071988
0.072217
1629731
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S638042053-051.cnf
SAT
0.074987
0.07475
1629044
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1985172968-100.cnf
SAT
0.074987
0.075765
1629992
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1850025790-078.cnf
SAT
0.074988
0.0750239
1629038
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1771223975-021.cnf
SAT
0.075987
0.076711
1629056
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S95953046-044.cnf
SAT
0.075987
0.0763409
1629722
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S247943532-069.cnf
SAT
0.077988
0.0785839
1629749
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1139247531-051.cnf
SAT
0.084986
0.0851221
1629794
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1137823545-077.cnf
SAT
0.087985
0.0879979
1629902
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1494961823-060.cnf
SAT
0.089985
0.0899049
1629719
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1112524719-021.cnf
SAT
0.093985
0.09476
1629878
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1568932519-011.cnf
SAT
0.099983
0.100441
1629068
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S971118900-053.cnf
SAT
0.101983
0.102702
1629113
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1924575376-025.cnf
SAT
0.101984
0.102025
1629953
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1800466054-025.cnf
SAT
0.104983
0.105223
1629776
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2067258640-036.cnf
SAT
0.109983
0.110603
1629959
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S786890012-057.cnf
SAT
0.115981
0.116639
1629824
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S744068878-072.cnf
SAT
0.117981
0.11802
1629059
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S393518083-009.cnf
SAT
0.118981
0.117665
1629089
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S84716411-095.cnf
SAT
0.12198
0.122137
1629920
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1229813320-044.cnf
SAT
0.12598
0.126409
1629929
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S956671877-054.cnf
SAT
0.127979
0.128724
1629752
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1804335510-002.cnf
SAT
0.127979
0.129143
1630016
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S110290755-003.cnf
SAT
0.139978
0.139891
1629872
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S981523907-072.cnf
SAT
0.143977
0.143186
1629842
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1639151107-094.cnf
SAT
0.144977
0.144971
1629269
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1332067449-041.cnf
SAT
0.145977
0.146284
1629908
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S433356712-017.cnf
SAT
0.148976
0.148878
1629917
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1531283922-009.cnf
SAT
0.158975
0.159904
1629863
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S603077945-019.cnf
SAT
0.175973
0.176651
1629314
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S984347600-003.cnf
SAT
0.184971
0.184734
1629092
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1376127278-008.cnf
SAT
0.19397
0.194969
1629035
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S368632549-051.cnf
SAT
0.215966
0.21741
1630040
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S23858409-056.cnf
SAT
0.228964
0.230182
1629914
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S565763763-051.cnf
SAT
0.230964
0.232167
1629821
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1949086545-083.cnf
SAT
0.268958
0.269536
1629836
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S486002104-037.cnf
SAT
0.289955
0.291725
1630001
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S2142680239-019.cnf
SAT
0.303952
0.3055
1629905
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1045096471-025.cnf
SAT
0.303953
0.304646
1629737
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf
SAT
0.309952
0.309824
1628657
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S418266958-049.cnf
SAT
0.311952
0.312584
1629845
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S419666888-007.cnf
SAT
0.325949
0.32612
1629848
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1828800850-025.cnf
SAT
0.327949
0.328234
1629278
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S2037556208-016.cnf
SAT
0.334948
0.333796
1629275
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S282405510-004.cnf
SAT
0.338947
0.338887
1629110
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1879656894-046.cnf
SAT
0.348946
0.349431
1629146
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S817309453-059.cnf
SAT
0.363943
0.364391
1629926
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1484713995-092.cnf
SAT
0.370942
0.372002
1629323
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S142096783-019.cnf
SAT
0.38494
0.385968
1629839
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1448866403-060.cnf
SAT
0.398939
0.399186
1630028
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1422278005-004.cnf
SAT
0.435933
0.439455
1629134
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1778559297-006.cnf
SAT
0.45093
0.45249
1629806
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S47926000-049.cnf
SAT
0.45093
0.45103
1629086
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1153031014-012.cnf
SAT
0.463928
0.464469
1629131
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S834811574-084.cnf
SAT
0.486925
0.486388
1629308
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1367181683-025.cnf
SAT
0.500923
0.502556
1629971
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1206040031-030.cnf
SAT
0.513921
0.514427
1629293
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1879859331-044.cnf
SAT
0.51892
0.519105
1629812
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S2007547542-039.cnf
SAT
0.544917
0.54619
1629077
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S357555833-073.cnf
SAT
0.554914
0.555673
1629122
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S449511205-064.cnf
SAT
0.594908
0.596007
1629899
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1963731659-060.cnf
SAT
0.600908
0.599716
1629128
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1354285755-030.cnf
SAT
0.609907
0.611035
1629317
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S617358728-082.cnf
SAT
0.613905
0.614325
1629968
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S2056912842-027.cnf
SAT
0.657899
0.657212
1629743
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S780904324-093.cnf
SAT
0.670897
0.671407
1629887
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S2087271472-092.cnf
SAT
0.753884
0.755241
1629770
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1767813611-042.cnf
SAT
0.772881
0.773097
1629032
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1503318847-091.cnf
SAT
0.793878
0.794193
1629125
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S748216286-061.cnf
SAT
0.806876
0.807083
1629107
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S520696524-059.cnf
SAT
0.91486
0.915044
1628651
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1514821049-021.cnf
SAT
0.936856
0.936982
1629281
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S178043354-076.cnf
SAT
0.961853
0.96315
1629272
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S746386799-050.cnf
SAT
1.08583
1.08517
1629287
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S353643296-086.cnf
SAT
1.24881
1.24887
1629746
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf
SAT
1.2958
1.29484
1628648
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf
SAT
1.44178
1.44187
1628660
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S709270457-007.cnf
SAT
1.47678
1.478
1629353
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S400088537-049.cnf
SAT
1.48677
1.4879
1629341
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1017443264-065.cnf
SAT
1.55376
1.55452
1629140
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S2069223517-023.cnf
SAT
1.63275
1.63389
1629956
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S644655157-049.cnf
SAT
1.72774
1.72826
1629119
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S179172230-011.cnf
SAT
1.92371
1.92507
1629137
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1146593655-045.cnf
SAT
1.9877
1.98838
1629332
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf
SAT
2.11868
2.11859
1628642
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1223878722-065.cnf
SAT
2.13567
2.13531
1629350
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S349436298-004.cnf
SAT
2.16267
2.16401
1629725
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S779309989-069.cnf
SAT
2.28965
2.29025
1628666
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1723021362-073.cnf
SAT
2.29065
2.2913
1629326
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S326668183-079.cnf
SAT
2.36964
2.37107
1629296
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf
SAT
2.38164
2.38476
1628654
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1858385213-060.cnf
SAT
2.40463
2.40709
1629290
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S512486692-050.cnf
SAT
2.6296
2.62948
1629311
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1645769281-097.cnf
SAT
2.77358
2.7746
1629338
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S803029538-050.cnf
SAT
2.86556
2.86769
1629386
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S249585100-059.cnf
SAT
2.97455
2.97522
1628369
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S900737394-048.cnf
SAT
3.24251
3.24518
1629923
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S803323266-025.cnf
SAT
3.32049
3.32167
1629377
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf
SAT
3.52546
3.52756
1628798
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2073320038-053.cnf
SAT
4.23336
4.23588
1629242
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf
SAT
4.38133
4.38297
1628663
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S7007454-009.cnf
SAT
4.41333
4.41542
1628639
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S819692891-023.cnf
SAT
4.63229
4.63419
1629368
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S754967851-033.cnf
SAT
4.73328
4.73457
1629299
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2028777924-038.cnf
SAT
4.74928
4.75121
1629197
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1536609007-088.cnf
SAT
4.79127
4.79413
1629755
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S136987316-008.cnf
SAT
4.81827
4.81935
1628645
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S45592023-054.cnf
SAT
4.88926
4.89226
1629809
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1794178048-059.cnf
SAT
5.74613
5.74823
1629302
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1988754311-026.cnf
SAT
5.79712
5.7986
1629380
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S839983432-073.cnf
SAT
5.85911
5.86137
1629365
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf
SAT
5.9341
5.93568
1628756
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S51205200-028.cnf
SAT
5.9391
5.94099
1629383
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf
SAT
6.32304
6.32545
1628807
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1611899384-022.cnf
SAT
6.35703
6.35897
1628480
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1366769180-095.cnf
SAT
6.81296
6.81656
1629329
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1492329924-074.cnf
SAT
7.09692
7.09934
1629053
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1192890414-033.cnf
SAT
7.73982
7.74254
1628483
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S2060380282-019.cnf
SAT
8.07677
8.08001
1629356
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1018145191-052.cnf
SAT
8.17775
8.18026
1628465
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf
SAT
8.29274
8.29476
1628795
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S432895007-058.cnf
SAT
8.44871
8.45059
1629335
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf
SAT
8.71767
8.721
1628801
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S568017735-066.cnf
SAT
9.67153
9.67389
1628810
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S284173264-081.cnf
SAT
9.99048
9.99361
1629320
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1640054673-078.cnf
SAT
10.3344
10.3357
1629362
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1970456972-046.cnf
SAT
11.3653
11.3685
1628471
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S445910413-047.cnf
SAT
11.4203
11.4259
1629347
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1402156840-093.cnf
SAT
11.4813
11.4842
1629359
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S906020180-093.cnf
SAT
11.9512
11.9589
1628813
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1528563858-100.cnf
SAT
12.3731
12.3779
1629935
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S685953260-065.cnf
SAT
12.828
12.8326
1628468
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S211141966-058.cnf
SAT
14.3828
14.3873
1628462
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1482824652-097.cnf
SAT
16.8454
16.8508
1629206
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1895787950-064.cnf
SAT
17.5313
17.5362
1629344
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1500472284-060.cnf
SAT
17.8643
17.8688
1628477
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1096716652-027.cnf
SAT
18.0802
18.0856
1629284
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S814638510-058.cnf
SAT
18.1802
18.1775
1628624
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf
SAT
19.2681
19.2753
1628735
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1281410666-045.cnf
SAT
19.477
19.4814
1628474
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S251246256-047.cnf
SAT
19.489
19.4961
1628372
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S342542912-045.cnf
SAT
22.5906
22.5963
1629374
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S839302453-094.cnf
SAT
23.6964
23.7028
1628705
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1253795703-015.cnf
SAT
23.9604
23.9654
1628438
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1718226278-096.cnf
SAT
24.4583
24.4672
1629305
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S72273909-010.cnf
SAT
24.8922
24.8994
1629371
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S661850551-087.cnf
SAT
30.5793
30.5871
1628447
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S115851319-100.cnf
SAT
30.9973
31.0084
1628402
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1788451776-008.cnf
SAT
31.3992
31.4088
1628444
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S599916448-096.cnf
SAT
31.6322
31.7219
1629224
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1724014998-099.cnf
SAT
32.4821
32.4943
1628393
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S579205610-033.cnf
SAT
34.4518
34.447
1628711
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf
SAT
36.3325
36.3446
1628750
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1085378176-050.cnf
SAT
36.8284
36.8449
1628636
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S139794312-098.cnf
SAT
39.8989
39.914
1628816
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S962875623-008.cnf
SAT
43.9223
43.9357
1628459
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1183359164-025.cnf
SAT
43.9763
43.9893
1628387
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S315403000-060.cnf
SAT
45.6321
45.6443
1628390
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S268463339-081.cnf
SAT
50.1754
50.1917
1628696
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1920888253-090.cnf
SAT
53.3029
53.322
1629104
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1185462553-011.cnf
SAT
63.4684
63.4854
1628396
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S501150091-001.cnf
SAT
64.4282
64.4481
1628339
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S45173584-020.cnf
SAT
65.822
65.8398
1628360
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1313163883-027.cnf
SAT
66.5509
66.5758
1628486
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2054549948-012.cnf
SAT
73.1999
73.231
1628366
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1850138369-006.cnf
SAT
74.5227
74.5436
1628357
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1040507052-028.cnf
SAT
82.9384
82.9693
1628363
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S678706275-057.cnf
SAT
84.0372
84.062
1628435
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf
SAT
90.5292
90.5565
1628744
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S195213520-027.cnf
SAT
102.178
102.168
1628699
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf
SAT
111.791
111.83
1628693
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1353769076-009.cnf
SAT
112
112.042
1628375
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1912214877-051.cnf
SAT
114.09
114.127
1628408
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S762724712-048.cnf
SAT
120.27
120.309
1628732
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2088224617-083.cnf
SAT
126.703
126.732
1628345
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S547165541-056.cnf
SAT
137.969
138.009
1628630
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S882603971-022.cnf
SAT
143.716
143.754
1628414
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S310111511-029.cnf
SAT
150.682
150.729
1628783
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S612955126-075.cnf
SAT
152.07
152.125
1628792
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S144924920-056.cnf
SAT
154.994
155.048
1628426
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf
SAT
155.477
155.524
1628804
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1119648091-064.cnf
SAT
162.562
162.624
1628456
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S221596758-009.cnf
SAT
164.575
164.619
1628891
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1573578038-005.cnf
SAT
175.705
175.754
1628429
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf
SAT
179.209
179.276
1628675
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1017667294-044.cnf
SAT
195.006
195.064
1628609
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S2124311399-085.cnf
SAT
196.299
196.35
1628441
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf
SAT
198.474
198.535
1628717
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S500426663-025.cnf
SAT
205.83
205.903
1628723
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf
SAT
218.952
219.059
1628672
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S704699380-099.cnf
SAT
219.553
219.608
1628351
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2142489608-055.cnf
SAT
228.9
228.968
1629248
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1954748117-061.cnf
SAT
240.01
240.069
1628399
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf
SAT
254.454
254.545
1628738
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1736471436-014.cnf
SAT
262.897
262.972
1628378
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2015297474-031.cnf
SAT
273.596
273.661
1628342
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S21800963-085.cnf
SAT
291.292
291.377
1628687
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S439075063-023.cnf
SAT
325.894
326.013
1628702
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1818639567-059.cnf
SAT
354.529
354.622
1628615
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S162003179-087.cnf
SAT
375.849
376.032
1628819
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S566590366-099.cnf
SAT
383.194
383.306
1628603
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1334593800-018.cnf
SAT
387.561
387.663
1628432
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1441840675-053.cnf
SAT
402.548
402.663
1628420
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf
SAT
411.545
411.666
1628708
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S541865505-057.cnf
SAT
419.375
419.491
1628621
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1738391204-028.cnf
SAT
422.97
423.085
1628453
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1284372491-036.cnf
SAT
471.207
471.323
1628348
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S2059720696-001.cnf
SAT
536.289
536.429
1628633
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S595075179-058.cnf
SAT
548.749
548.951
1628753
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S74035269-088.cnf
SAT
635.898
636.09
1628618
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S821759333-092.cnf
SAT
651.6
651.783
1628741
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1748152762-086.cnf
SAT
665.361
665.518
1628381
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S274764005-003.cnf
SAT
670.848
671.037
1628726
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S743448446-027.cnf
SAT
681.113
681.298
1628450
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S688804305-073.cnf
SAT
718.555
718.746
1628714
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf
SAT
803.354
803.93
1628669
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S805234188-084.cnf
SAT
816.967
817.261
1628417
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S956556686-037.cnf
SAT
880.519
880.76
1628576
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S51132115-023.cnf
SAT
896.843
897.089
1628828
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S870840347-014.cnf
SAT
928.116
928.449
1628627
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S377647456-019.cnf
SAT
930.235
930.459
1628906
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S914323646-060.cnf
SAT
987.976
988.264
1628870
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S91288590-071.cnf
SAT
1006.15
1006.43
1628594
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf
SAT
1012.32
1012.59
1628729
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf
SAT
1026.44
1026.72
1628690
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf
SAT
1105.77
1106.1
1628894
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1906075351-024.cnf
SAT
1143.38
1143.84
1628612
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S17277413-072.cnf
SAT
1154.95
1155.3
1628825
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf
SAT
1188.67
1189.09
1628747
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1322153318-039.cnf
SAT
1194.52
1194.93
1628354
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S826724848-048.cnf
SAT
1215.57
1215.89
1628882
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S56507352-034.cnf
SAT
1238.44
1238.88
1628885
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1797123396-073.cnf
SAT
1256.52
1256.98
1628384
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf
SAT
1321.56
1322.02
1628867
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S592525179-032.cnf
SAT
1381.59
1381.96
1628582
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S266028630-005.cnf
SAT
1398.99
1399.47
1628525
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1849057034-020.cnf
SAT
1401
1401.41
1628597
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf
SAT
1478.11
1478.5
1628681
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1178729443-051.cnf
SAT
1515
1515.36
1628585
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf
SAT
1545.15
1545.59
1628831
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S279212213-020.cnf
SAT
1546.99
1547.51
1628678
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf
SAT
1561.71
1562.2
1628789
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1802626390-033.cnf
SAT
1594.88
1595.42
1628564
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S339800239-026.cnf
SAT
1627.81
1628.29
1628843
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S155821307-034.cnf
SAT
1683.08
1683.57
1628423
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1543261951-042.cnf
SAT
1737.54
1738.2
1628579
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf
SAT
1752.64
1753.17
1628864
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf
SAT
1790.36
1790.79
1628861
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1378953985-075.cnf
SAT
1926.59
1927.16
1628561
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1352224201-070.cnf
SAT
1955.01
1955.51
1628558
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf
SAT
2098.75
2099.45
1628855
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S285713182-059.cnf
SAT
2120.12
2120.74
1628600
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf
SAT
2197.53
2198.34
1628852
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S1815966229-001.cnf
SAT
2204.24
2205.03
1630073
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf
SAT
2249.73
2250.56
1628888
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf
SAT
2431.88
2432.69
1628846
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf
SAT
2458.47
2459.21
1628879
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S859578263-029.cnf
SAT
2493.07
2493.75
1628684
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf
SAT
2534.65
2535.35
1628765
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S15767910-042.cnf
SAT
2646.45
2647.24
1628897
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf
SAT
2753.78
2754.52
1628720
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf
SAT
2781.47
2782.77
1628786
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf
SAT
2902.87
2903.85
1628780
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf
SAT
3140.15
3141.04
1628858
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf
SAT
3234.58
3235.4
1628777
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1992353905-004.cnf
SAT
3298.25
3299.41
1628549
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1845944120-011.cnf
SAT
3341.97
3343.22
1628567
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S322778960-054.cnf
SAT
3371.54
3372.5
1628840
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf
SAT
3800.62
3801.62
1628837
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S432776913-077.cnf
SAT
3868.35
3869.26
1628588
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf
SAT
4178.69
4179.86
1628834
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S650356257-052.cnf
SAT
4292.39
4293.41
1628903
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S1825231826-068.cnf
SAT
4503.24
4504.82
1630082
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S2054922493-058.cnf
SAT
4626.84
4628.17
1628405
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1049921489-034.cnf
SAT
4696.67
4697.9
1628552
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S1845495059-059.cnf
SAT
4755.75
4757.18
1630103
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1695726805-003.cnf
SAT
4761.03
4762.43
1628540
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S420719158-080.cnf
SAT
4825.03
4826.42
1628873
Solver timed out (no solution given) (254 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1410489780-030.cnf
? (TO)
5000.01
5001.31
1628948
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1331382449-070.cnf
? (TO)
5000.01
5001.41
1628966
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf
? (TO)
5000.01
5001.41
1628876
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S179568577-034.cnf
? (TO)
5000.01
5001.31
1629488
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1900558626-069.cnf
? (TO)
5000.01
5001.51
1629203
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1553390498-064.cnf
? (TO)
5000.01
5001.51
1629524
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S126031621-095.cnf
? (TO)
5000.01
5001.31
1630067
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S80067159-015.cnf
? (TO)
5000.01
5001.81
1629011
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1775841359-070.cnf
? (TO)
5000.01
5001.61
1629566
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S143306810-069.cnf
? (TO)
5000.01
5001.81
1630061
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1388268034-092.cnf
? (TO)
5000.02
5001.81
1628411
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S274128876-057.cnf
? (TO)
5000.02
5001.31
1630097
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S10567605-051.cnf
? (TO)
5000.02
5001.81
1630145
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1826325374-100.cnf
? (TO)
5000.02
5001.71
1629395
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf
? (TO)
5000.02
5001.51
1628768
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S1344049097-080.cnf
? (TO)
5000.02
5001.51
1630100
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1598052044-078.cnf
? (TO)
5000.02
5002.01
1629581
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1050568800-025.cnf
? (TO)
5000.02
5001.31
1628984
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1723900160-044.cnf
? (TO)
5000.02
5001.71
1629023
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S400162545-095.cnf
? (TO)
5000.02
5001.51
1629239
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S184801254-020.cnf
? (TO)
5000.02
5001.51
1629179
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1703611043-077.cnf
? (TO)
5000.02
5002.41
1629155
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S285229208-001.cnf
? (TO)
5000.02
5001.51
1629617
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1039370030-037.cnf
? (TO)
5000.02
5001.31
1629518
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1249224492-031.cnf
? (TO)
5000.02
5001.21
1628555
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S822708255-070.cnf
? (TO)
5000.02
5001.71
1628771
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1897376969-026.cnf
? (TO)
5000.02
5001.81
1629419
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S914952752-019.cnf
? (TO)
5000.02
5001.51
1628921
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S502087726-095.cnf
? (TO)
5000.02
5001.71
1629686
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1266438269-016.cnf
? (TO)
5000.02
5001.51
1629236
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S948914005-013.cnf
? (TO)
5000.02
5001.81
1628522
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S260616787-042.cnf
? (TO)
5000.02
5001.81
1629683
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1457384322-029.cnf
? (TO)
5000.02
5001.41
1629596
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S1458308594-024.cnf
? (TO)
5000.02
5002.21
1630121
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S131938947-014.cnf
? (TO)
5000.02
5001.51
1629530
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1736056721-032.cnf
? (TO)
5000.03
5001.71
1628912
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1213077873-067.cnf
? (TO)
5000.03
5001.71
1629401
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S452919966-071.cnf
? (TO)
5000.03
5001.91
1628537
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1350958473-082.cnf
? (TO)
5000.03
5001.81
1629557
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S2140929154-062.cnf
? (TO)
5000.03
5001.51
1628531
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S572248576-042.cnf
? (TO)
5000.03
5002.01
1629455
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S190880026-038.cnf
? (TO)
5000.03
5001.91
1629656
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1070443005-075.cnf
? (TO)
5000.03
5001.21
1629017
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S857870897-089.cnf
? (TO)
5000.03
5001.21
1629218
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S559732886-091.cnf
? (TO)
5000.03
5001.21
1628957
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1766907733-036.cnf
? (TO)
5000.03
5001.61
1628498
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1564075794-028.cnf
? (TO)
5000.03
5001.71
1629590
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S926047226-039.cnf
? (TO)
5000.03
5001.51
1629620
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1086008090-058.cnf
? (TO)
5000.03
5001.81
1629026
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S121765931-081.cnf
? (TO)
5000.03
5001.51
1629458
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1481598919-023.cnf
? (TO)
5000.03
5001.71
1629020
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S1238271423-026.cnf
? (TO)
5000.03
5001.31
1630142
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S2142794689-088.cnf
? (TO)
5000.03
5001.51
1629212
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1916972979-060.cnf
? (TO)
5000.03
5001.81
1628939
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S669858349-039.cnf
? (TO)
5000.03
5001.91
1630112
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1854680784-082.cnf
? (TO)
5000.03
5001.91
1629449
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf
? (TO)
5000.03
5001.81
1628849
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf
? (TO)
5000.03
5001.61
1628822
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S149116968-021.cnf
? (TO)
5000.03
5012.11
1629425
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S820736259-091.cnf
? (TO)
5000.03
5001.21
1629494
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S905029262-097.cnf
? (TO)
5000.03
5001.31
1629251
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S19146617-056.cnf
? (TO)
5000.03
5001.81
1630055
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S712437980-063.cnf
? (TO)
5000.04
5001.51
1628951
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1731702106-010.cnf
? (TO)
5000.04
5006.61
1629407
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S942507261-096.cnf
? (TO)
5000.04
5001.51
1628543
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S51420501-097.cnf
? (TO)
5000.04
5001.31
1630106
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S454748558-041.cnf
? (TO)
5000.04
5001.51
1630049
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S59207238-009.cnf
? (TO)
5000.04
5001.71
1630094
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S1321948597-025.cnf
? (TO)
5000.04
5001.31
1630163
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S305156909-031.cnf
? (TO)
5000.04
5001.41
1629716
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1251522734-073.cnf
? (TO)
5000.04
5001.51
1628933
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1698591437-083.cnf
? (TO)
5000.04
5001.81
1628975
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1736708510-089.cnf
? (TO)
5000.04
5001.81
1629266
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1892788676-021.cnf
? (TO)
5000.04
5002.31
1629629
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S35186747-095.cnf
? (TO)
5000.04
5001.81
1628978
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1159067237-017.cnf
? (TO)
5000.04
5001.81
1629647
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2125310989-062.cnf
? (TO)
5000.04
5001.61
1629194
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S322218982-076.cnf
? (TO)
5000.04
5001.81
1630136
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S2037268960-098.cnf
? (TO)
5000.04
5001.51
1629572
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1353993612-015.cnf
? (TO)
5000.04
5001.81
1629554
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1818347447-078.cnf
? (TO)
5000.04
5001.51
1629215
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1299934729-015.cnf
? (TO)
5000.04
5001.51
1629260
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S2141325032-035.cnf
? (TO)
5000.05
5001.51
1630115
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S918173205-035.cnf
? (TO)
5000.05
5001.81
1629005
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1394630553-009.cnf
? (TO)
5000.05
5001.51
1629254
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1420449214-092.cnf
? (TO)
5000.05
5001.51
1628987
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S253750560-086.cnf
? (TO)
5000.05
5001.81
1629707
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S1154116462-097.cnf
? (TO)
5000.05
5001.81
1629497
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S928666993-098.cnf
? (TO)
5000.05
5001.81
1629668
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S291433416-025.cnf
? (TO)
5000.05
5001.81
1628963
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S287307030-088.cnf
? (TO)
5000.05
5001.31
1629389
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S785082413-028.cnf
? (TO)
5000.05
5001.51
1628960
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S680239195-053.cnf
? (TO)
5000.05
5001.41
1629704
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1580204273-012.cnf
? (TO)
5000.05
5001.51
1629677
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S816613570-013.cnf
? (TO)
5000.05
5001.41
1629509
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1551099861-042.cnf
? (TO)
5000.05
5001.51
1629227
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S2104277852-078.cnf
? (TO)
5000.05
5001.81
1629521
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S540574785-050.cnf
? (TO)
5000.05
5001.51
1630130
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S948096916-040.cnf
? (TO)
5000.05
5001.31
1630085
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S1410794832-034.cnf
? (TO)
5000.05
5001.51
1630079
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1089910525-056.cnf
? (TO)
5000.05
5013.71
1629434
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2058039218-006.cnf
? (TO)
5000.05
4999.41
1629263
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S1743216639-043.cnf
? (TO)
5000.05
5001.81
1630118
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S697681291-080.cnf
? (TO)
5000.05
5013.71
1629428
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1803805764-016.cnf
? (TO)
5000.05
5001.71
1629404
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1746008863-010.cnf
? (TO)
5000.05
5001.51
1629644
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1524836866-036.cnf
? (TO)
5000.05
5001.51
1629623
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S108799362-035.cnf
? (TO)
5000.05
5001.81
1629158
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S522321670-058.cnf
? (TO)
5000.05
5001.51
1628519
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1559668863-058.cnf
? (TO)
5000.05
5001.51
1629149
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1221988902-087.cnf
? (TO)
5000.05
5002.01
1628981
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S1093158247-008.cnf
? (TO)
5000.06
5001.51
1630154
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1568578307-064.cnf
? (TO)
5000.06
5001.41
1628501
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1295462378-089.cnf
? (TO)
5000.06
5001.81
1628570
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S907861678-077.cnf
? (TO)
5000.06
5001.51
1628573
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S745855171-090.cnf
? (TO)
5000.06
5001.51
1628918
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S845966893-046.cnf
? (TO)
5000.06
5001.41
1628954
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S207294319-099.cnf
? (TO)
5000.06
5001.81
1628993
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S267191961-079.cnf
? (TO)
5000.06
5001.41
1629008
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1758422766-080.cnf
? (TO)
5000.06
5001.51
1629200
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S703461330-034.cnf
? (TO)
5000.06
5001.51
1629164
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1318210982-002.cnf
? (TO)
5000.06
5001.41
1629173
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S197260469-019.cnf
? (TO)
5000.06
5001.81
1629176
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S254828838-055.cnf
? (TO)
5000.06
5001.51
1629209
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S884764237-004.cnf
? (TO)
5000.06
5001.31
1629188
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S596342014-039.cnf
? (TO)
5000.06
5001.51
1629464
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S393462637-097.cnf
? (TO)
5000.06
5001.41
1629542
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S531507935-068.cnf
? (TO)
5000.06
5001.51
1629476
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S1750991629-037.cnf
? (TO)
5000.06
5001.51
1629506
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S688769362-007.cnf
? (TO)
5000.06
5001.31
1629503
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1035441377-058.cnf
? (TO)
5000.06
5001.41
1629560
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1404929091-050.cnf
? (TO)
5000.06
5001.41
1629569
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1606932551-072.cnf
? (TO)
5000.06
5001.41
1629575
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S125259973-020.cnf
? (TO)
5000.06
5001.51
1629536
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S332478069-041.cnf
? (TO)
5000.06
5001.31
1629548
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S356738975-073.cnf
? (TO)
5000.06
5001.31
1629641
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S999404609-010.cnf
? (TO)
5000.06
5001.91
1629665
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S2034442711-054.cnf
? (TO)
5000.06
5001.41
1629614
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1700363952-014.cnf
? (TO)
5000.06
5001.41
1629671
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1807135406-059.cnf
? (TO)
5000.06
5001.51
1629674
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1377066099-004.cnf
? (TO)
5000.06
5001.51
1629638
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1028159446-096.cnf
? (TO)
5000.06
5001.51
1629698
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1369720750-015.cnf
? (TO)
5000.06
5001.51
1629692
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S1400647106-062.cnf
? (TO)
5000.06
4999.41
1630076
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1211704640-033.cnf
? (TO)
5000.07
5001.41
1628990
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1375576340-029.cnf
? (TO)
5000.07
5001.91
1629527
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S327274323-044.cnf
? (TO)
5000.07
5001.41
1628606
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S463610942-012.cnf
? (TO)
5000.07
5001.41
1630139
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf
? (TO)
5000.07
5001.41
1628774
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S28271012-055.cnf
? (TO)
5000.07
5001.41
1629479
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1136141672-041.cnf
? (TO)
5000.07
5001.41
1629470
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S387386125-069.cnf
? (TO)
5000.07
5001.41
1629515
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S23373420-028.cnf
? (TO)
5000.07
5001.41
1629713
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S162647235-053.cnf
? (TO)
5000.07
5001.31
1630064
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S102181364-052.cnf
? (TO)
5000.07
5001.31
1628930
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S2065372010-022.cnf
? (TO)
5000.07
5001.41
1629167
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S2083778933-085.cnf
? (TO)
5000.07
5001.41
1629014
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S2119656249-086.cnf
? (TO)
5000.07
5001.51
1628909
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S632066493-060.cnf
? (TO)
5000.07
5001.51
1628927
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1250067652-054.cnf
? (TO)
5000.07
5001.31
1629578
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S219795104-099.cnf
? (TO)
5000.07
5001.71
1628900
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1971658345-089.cnf
? (TO)
5000.07
5001.41
1628915
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1549575664-035.cnf
? (TO)
5000.07
5001.41
1628492
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1694258328-099.cnf
? (TO)
5000.07
5001.31
1629662
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S1342809844-031.cnf
? (TO)
5000.07
5001.31
1630058
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S367138237-029.cnf
? (TO)
5000.07
5001.31
1629695
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S886725553-011.cnf
? (TO)
5000.07
5001.41
1628495
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1357790788-074.cnf
? (TO)
5000.07
5001.31
1628996
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S594431515-001.cnf
? (TO)
5000.07
5001.41
1630151
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1796956909-029.cnf
? (TO)
5000.07
5001.31
1629221
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1136894336-075.cnf
? (TO)
5000.07
5001.61
1628534
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S159251645-087.cnf
? (TO)
5000.07
5001.91
1629446
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S441484366-048.cnf
? (TO)
5000.07
5001.51
1628546
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S515145153-009.cnf
? (TO)
5000.07
5002.01
1630166
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1339364096-048.cnf
? (TO)
5000.07
5001.31
1629392
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1735544520-075.cnf
? (TO)
5000.07
5001.71
1629416
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S2007898659-069.cnf
? (TO)
5000.08
5001.41
1629653
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S74644527-067.cnf
? (TO)
5000.08
5001.81
1630052
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S2025517367-061.cnf
? (TO)
5000.08
5001.41
1629689
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1983754128-073.cnf
? (TO)
5000.08
5001.61
1629659
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S193214747-044.cnf
? (TO)
5000.08
5001.41
1628507
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1171422074-087.cnf
? (TO)
5000.08
5001.51
1629233
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S583379276-046.cnf
? (TO)
5000.08
5001.31
1629599
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S578339356-013.cnf
? (TO)
5000.08
5001.31
1629002
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1127319144-058.cnf
? (TO)
5000.08
5001.31
1628516
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S799705985-049.cnf
? (TO)
5000.08
5013.51
1629410
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S975048338-088.cnf
? (TO)
5000.08
5001.41
1629500
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S418505498-026.cnf
? (TO)
5000.08
5001.41
1629533
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S648763183-023.cnf
? (TO)
5000.08
5001.91
1628762
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1610649331-094.cnf
? (TO)
5000.08
5001.51
1629230
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1961115887-052.cnf
? (TO)
5000.08
5001.41
1628489
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1077410718-040.cnf
? (TO)
5000.08
5001.51
1629593
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S729526068-046.cnf
? (TO)
5000.09
5001.91
1629632
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1563412474-059.cnf
? (TO)
5000.09
5001.51
1629551
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S104085281-076.cnf
? (TO)
5000.09
5002.01
1629512
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S289069074-070.cnf
? (TO)
5000.09
5001.51
1629182
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1525918493-008.cnf
? (TO)
5000.09
5001.61
1629245
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1628763900-004.cnf
? (TO)
5000.09
5001.61
1629611
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S457856978-061.cnf
? (TO)
5000.09
5001.71
1629605
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S2125162110-016.cnf
? (TO)
5000.09
5001.91
1630109
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S638051453-097.cnf
? (TO)
5000.09
5001.41
1629584
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1810287895-075.cnf
? (TO)
5000.09
5001.41
1629635
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S122462268-047.cnf
? (TO)
5000.09
5001.51
1628942
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1864473452-037.cnf
? (TO)
5000.09
5001.31
1628591
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S111203033-063.cnf
? (TO)
5000.09
5001.31
1630148
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1602291491-023.cnf
? (TO)
5000.09
5001.81
1629422
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1048138627-064.cnf
? (TO)
5000.09
5013.91
1629431
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S517464300-073.cnf
? (TO)
5000.09
5001.91
1629482
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S374947955-075.cnf
? (TO)
5000.09
5001.41
1629485
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2141146009-040.cnf
? (TO)
5000.1
5001.71
1629185
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S358640743-023.cnf
? (TO)
5000.1
5001.61
1629191
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S492033085-065.cnf
? (TO)
5000.1
5001.51
1629563
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S565564805-059.cnf
? (TO)
5000.1
5001.91
1629467
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S444219303-098.cnf
? (TO)
5000.1
5001.41
1629539
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1249441590-066.cnf
? (TO)
5000.1
5001.41
1629650
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S404185236-001.cnf
? (TO)
5000.1
5001.71
1629701
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1718100253-004.cnf
? (TO)
5000.1
5001.51
1629257
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1305875336-097.cnf
? (TO)
5000.1
5001.31
1628945
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1588298513-036.cnf
? (TO)
5000.1
5001.51
1628528
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf
? (TO)
5000.1
5001.31
1628759
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1528023000-027.cnf
? (TO)
5000.1
5001.41
1629461
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S512227451-001.cnf
? (TO)
5000.1
5001.41
1630127
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S367498571-066.cnf
? (TO)
5000.1
5001.31
1628972
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S915600698-006.cnf
? (TO)
5000.1
5001.31
1629626
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S645163129-012.cnf
? (TO)
5000.1
5001.91
1629398
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1906521511-089.cnf
? (TO)
5000.1
5002.01
1629710
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S928699366-021.cnf
? (TO)
5000.1
5002.01
1630070
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S287522321-032.cnf
? (TO)
5000.1
5002.71
1629545
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S2061874746-039.cnf
? (TO)
5000.1
5001.51
1629491
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1772751287-054.cnf
? (TO)
5000.1
5001.41
1629170
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S257485978-084.cnf
? (TO)
5000.1
5001.51
1628924
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S515665970-021.cnf
? (TO)
5000.1
5001.41
1628999
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1007745655-097.cnf
? (TO)
5000.1
5001.21
1629608
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S528193823-041.cnf
? (TO)
5000.1
5001.71
1629152
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S1688249661-078.cnf
? (TO)
5000.1
5001.41
1630124
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S2025849033-087.cnf
? (TO)
5000.11
5001.71
1630160
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1629955917-055.cnf
? (TO)
5000.11
5001.51
1628969
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1175850950-017.cnf
? (TO)
5000.11
5001.91
1629602
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S2043187304-036.cnf
? (TO)
5000.11
5001.41
1629680
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S1067191793-029.cnf
? (TO)
5000.11
5001.31
1630088
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S853819067-006.cnf
? (TO)
5000.11
5001.71
1629587
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S2099753268-053.cnf
? (TO)
5000.11
5001.91
1629161
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S486178562-011.cnf
? (TO)
5000.11
5001.61
1629443
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S1619557025-031.cnf
? (TO)
5000.11
5001.51
1630091
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S1740374947-073.cnf
? (TO)
5000.11
5001.21
1630133
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S900957093-043.cnf
? (TO)
5000.11
5002.11
1629413
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S318878687-017.cnf
? (TO)
5000.11
5001.61
1628504
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S2096960818-049.cnf
? (TO)
5000.11
5001.71
1629473
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1331813943-033.cnf
? (TO)
5000.11
5013.81
1629437
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S375588147-050.cnf
? (TO)
5000.11
5001.41
1628513
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S2051339669-029.cnf
? (TO)
5000.11
5001.51
1628510
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S2083487609-068.cnf
? (TO)
5000.11
5001.61
1628936
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S1328156309-075.cnf
? (TO)
5000.11
5002.31
1630157
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1394036608-091.cnf
? (TO)
5000.12
5001.61
1629452
Solver was terminated by a signal (1 run)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1540921235-015.cnf
Signal 24
0
5030.81
1629440