detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HierarchicalClustering/xy.12.x.12.r.4.274529373.784913.data_k=4_l=4_sat.gph.smt2 (content) ok ok 5.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HierarchicalClustering/xy.12.x.12.r.4.274529373.784913.data_k=3_l=3_unsat.gph.smt2 (content) ok ok 7.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HierarchicalClustering/xy.12.x.12.r.3.274440616.806497.data_k=4_l=3_unsat.gph.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HierarchicalClustering/xy.12.x.12.r.3.274440616.806497.data_k=3_l=4_sat.gph.smt2 (content) ok ok 6.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HierarchicalClustering/xy.11.x.11.r.3.712566045.949579.data_k=3_l=3_unsat.gph.smt2 (content) ok ok 2.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HierarchicalClustering/xy.10.x.10.r.3.1268203948.99614.data_k=4_l=7_sat.gph.smt2 (content) ok ok 9.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HierarchicalClustering/xy.10.x.10.r.3.1268203948.99614.data_k=2_l=5_sat.gph.smt2 (content) ok ok 7.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HierarchicalClustering/xy.10.x.10.r.2.565627391.127944.data_k=4_l=6_unsat.gph.smt2 (content) ok ok 4.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.97_7.smt2 (content) ok ok 22s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.93_7.smt2 (content) ok ok 18.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.90_7.smt2 (content) ok ok 30s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.87_7.smt2 (content) ok ok 28.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.83_7.smt2 (content) ok ok 25.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.80_7.smt2 (content) ok ok 15.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.77_7.smt2 (content) ok ok 22.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.73_7.smt2 (content) ok ok 23.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.70_7.smt2 (content) ok ok 22.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.32_7.smt2 (content) ok ok 5.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.30_7.smt2 (content) ok ok 7.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.127_7.smt2 (content) ok ok 28.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.120_7.smt2 (content) ok ok 32.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.113_7.smt2 (content) ok ok 30.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.110_7.smt2 (content) ok ok 27.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/random.8.lp.smt2 (content) ok ok 3.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/random.5.lp.smt2 (content) ok ok 2.8s