Classical Benchmarks
 
Solvers cmodels-1 cmodels-2 smodels aspps assat dlv
Problem Instance Result Wall CPU Result Wall CPU Result Wall CPU Result Wall CPU Result Wall CPU Result Wall CPU
HamiltonianPath-2 0 3m47.470s 0m1.480s 0 15m14.780s 0m4.030s 0 0m1.040s 0m0.010s 0 0m2.010s 0m0.040s 0 0m2.010s 0m0.050s 137 14m58.300s 0m2.710s
HamiltonianPath-3 0 0m0.100s 0m0.000s 0 0m0.120s 0m0.020s 0 0m0.110s 0m0.010s 0 0m1.810s 0m0.020s 0 0m0.150s 0m0.010s 0 0m0.130s 0m0.010s
HamiltonianPath-4 0 0m0.100s 0m0.010s 0 0m0.110s 0m0.020s 0 0m0.110s 0m0.000s 0 0m1.730s 0m0.000s 0 0m0.130s 0m0.040s 0 0m0.120s 0m0.000s
HamiltonianPath-5 0 2m0.010s 0m0.970s 0 14m56.200s 0m4.930s 137 15m0.140s 0m0.940s 0 0m1.740s 0m0.020s 0 0m22.120s 0m0.400s 137 14m58.430s 0m2.580s
HamiltonianPath-6 0 18m31.410s 0m14.490s 0 14m56.950s 0m4.250s 137 15m0.990s 0m0.070s 0 0m1.830s 0m0.020s 0 10m18.490s 0m8.790s 137 14m58.050s 0m2.960s
HamiltonianPath-7 0 2m31.430s 0m1.130s 0 14m56.030s 0m5.260s 0 0m1.020s 0m0.000s 0 0m1.720s 0m0.050s 0 0m9.440s 0m0.200s 137 14m58.640s 0m2.360s
HamiltonianPath-8 0 2m13.210s 0m1.070s 0 14m56.500s 0m4.660s 137 15m1.080s 0m0.020s 0 0m1.760s 0m0.030s 0 0m26.720s 0m0.420s 137 14m58.470s 0m2.530s
Ramsey-21-nodes 1 2m30.160s 0m5.010s 1 2m29.140s 0m4.340s 0 2m51.010s 0m5.270s N/A N/A N/A 134 2m29.660s 0m5.990s 0 0m6.620s 0m0.000s
Ramsey-22-nodes 1 2m44.640s 0m4.660s 1 2m42.070s 0m4.900s 134 2m46.210s 0m4.630s N/A N/A N/A 134 2m41.220s 0m6.220s 0 0m9.410s 0m0.060s
Ramsey-23-nodes 1 2m38.150s 0m5.390s 1 2m38.050s 0m4.560s 1 2m43.440s 0m5.600s N/A N/A N/A 134 2m39.390s 0m5.550s 0 0m30.420s 0m0.050s
Ramsey-24-nodes 1 2m36.500s 0m4.650s 1 2m34.940s 0m4.770s 1 2m41.450s 0m5.190s N/A N/A N/A 134 2m34.490s 0m5.440s 137 14m59.970s 0m1.040s
SameGeneration-x14 0 0m1.090s 0m0.050s 0 0m1.050s 0m0.070s 0 0m1.070s 0m0.010s N/A N/A N/A 0 0m1.050s 0m0.040s 0 0m0.110s 0m0.010s
SameGeneration-x18 0 0m3.450s 0m0.130s 0 0m3.220s 0m0.150s 0 0m3.190s 0m0.120s N/A N/A N/A 0 0m3.140s 0m0.130s 0 0m0.410s 0m0.020s
SameGeneration-x22 0 0m7.770s 0m0.330s 0 0m7.600s 0m0.340s 0 0m7.530s 0m0.320s N/A N/A N/A 0 0m7.510s 0m0.320s 0 0m1.060s 0m0.010s
SameGeneration-x26 0 0m19.240s 0m0.610s 0 0m19.060s 0m0.530s 0 0m18.750s 0m0.550s N/A N/A N/A 0 0m18.860s 0m0.520s 0 0m2.480s 0m0.010s
SameGeneration-x30 0 0m35.400s 0m1.280s 0 0m34.680s 0m1.010s 0 0m35.220s 0m0.790s N/A N/A N/A 0 0m34.460s 0m1.010s 0 0m5.000s 0m0.020s
SameGeneration-x40 1 1m3.150s 0m2.260s 1 1m2.390s 0m2.280s 1 1m1.300s 0m2.160s N/A N/A N/A 0 1m0.680s 0m3.040s 0 0m21.140s 0m0.040s
SameGeneration-x50 1 1m3.280s 0m2.200s 1 1m1.950s 0m2.290s 1 1m0.840s 0m2.190s N/A N/A N/A 0 1m1.340s 0m2.050s 0 1m13.550s 0m0.060s
SameGeneration-x60 1 1m2.460s 0m2.150s 1 1m1.850s 0m2.420s 1 1m0.300s 0m2.290s N/A N/A N/A 0 1m0.910s 0m2.240s 0 3m30.410s 0m0.040s
SchurNumbers-4-41 0 0m0.400s 0m0.040s 0 0m45.250s 0m2.540s 0 0m0.280s 0m0.040s N/A N/A N/A 0 0m0.410s 0m0.030s 1 0m0.010s 0m0.000s
SchurNumbers-4-42 0 0m0.360s 0m0.010s 0 0m53.840s 0m2.190s 0 0m0.380s 0m0.030s N/A N/A N/A 0 0m1.400s 0m0.030s 1 0m0.010s 0m0.010s
SchurNumbers-4-43 0 0m0.350s 0m0.030s 0 0m52.100s 0m2.100s 0 0m0.460s 0m0.020s N/A N/A N/A 0 0m1.500s 0m0.030s 1 0m0.000s 0m0.020s
SchurNumbers-4-44 0 0m5.670s 0m0.080s 0 0m42.150s 0m0.270s 0 0m0.460s 0m0.000s N/A N/A N/A 0 0m3.680s 0m0.050s 1 0m0.010s 0m0.010s
SchurNumbers-4-45 0 10m29.290s 0m4.230s 0 0m41.670s 0m0.170s 137 15m1.110s 0m0.030s N/A N/A N/A 0 9m7.720s 0m2.840s 1 0m0.000s 0m0.020s
StrategicCompanies-x105.38 0 0m0.060s 0m0.070s 0 14m6.750s 0m54.310s 0 0m0.090s 0m0.020s N/A N/A N/A 0 0m0.050s 0m0.020s 0 0m11.640s 0m0.060s
StrategicCompanies-x125.45 0 0m0.110s 0m0.030s 0 0m0.090s 0m0.110s 0 0m0.140s 0m0.000s N/A N/A N/A 0 0m0.070s 0m0.010s 0 0m6.790s 0m0.040s
StrategicCompanies-x135.11 0 0m0.130s 0m0.020s 0 14m9.530s 0m51.560s 0 0m0.170s 0m0.020s N/A N/A N/A 0 0m0.050s 0m0.000s 0 0m36.920s 0m0.050s
StrategicCompanies-x150.2 0 0m0.120s 0m0.050s 0 14m4.97 null 0 0m0.230s 0m0.020s N/A N/A N/A 0 0m0.040s 0m0.020s 0 0m5.010s 0m0.020s
StrategicCompanies-x150.26 0 0m0.090s 0m0.080s 0 0m0.100s 0m0.120s 0 0m0.200s 0m0.030s N/A N/A N/A 0 0m0.060s 0m0.010s 0 0m1.620s 0m0.020s
StrategicCompanies-x155.0 0 0m0.120s 0m0.050s 0 0m0.110s 0m0.140s 0 0m0.210s 0m0.030s N/A N/A N/A 0 0m0.060s 0m0.030s 0 0m21.920s 0m0.040s
StrategicCompanies-x155.3 0 0m0.130s 0m0.030s 0 14m9.030s 0m52.070s 0 0m0.220s 0m0.020s N/A N/A N/A 0 0m0.060s 0m0.010s 0 1m48.870s 0m0.160s
StrategicCompanies-x160.1 0 0m0.110s 0m0.060s 0 0m0.100s 0m0.130s 0 0m0.220s 0m0.010s N/A N/A N/A 0 0m0.040s 0m0.020s 0 0m0.420s 0m0.010s
StrategicCompanies-x160.3 0 0m0.130s 0m0.030s 0 14m3.940s 0m57.180s 0 0m0.240s 0m0.020s N/A N/A N/A 0 0m0.070s 0m0.000s 0 0m0.600s 0m0.030s
StrategicCompanies-x75.37 0 0m0.050s 0m0.060s 0 13m53.920s 1m7.220s 0 0m0.040s 0m0.010s N/A N/A N/A 0 0m0.050s 0m0.000s 0 0m0.380s 0m0.020s