detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_17_17_09.lp.smt2 (content) fatal ok 2m0.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_17_17_07.lp.smt2 (content) fatal ok 2m33.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_17_17_02.lp.smt2 (content) fatal ok 2m16.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/KnightTour/knightTour.in10.smt2 (content) fatal ok 1m27.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/KnightTour/knightTour.in09.smt2 (content) fatal ok 1m29s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/KnightTour/knightTour.in08.smt2 (content) ok ok 1m3.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/KnightTour/knightTour.in07.smt2 (content) ok ok 30.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/KnightTour/knightTour.in06.smt2 (content) ok ok 12.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/KnightTour/knightTour.in05.smt2 (content) ok ok 6.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/KnightTour/knightTour.in04.smt2 (content) ok ok 6.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/KnightTour/knightTour.in03.smt2 (content) ok ok 3.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/KnightTour/knightTour.in02.smt2 (content) ok ok 2.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/KnightTour/knightTour.in01.smt2 (content) ok ok 1.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HierarchicalClustering/xy.15.x.15.r.4.10790636.1242605.data_k=4_l=4_sat.gph.smt2 (content) ok ok 16.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HierarchicalClustering/xy.14.x.14.r.3.886831626.391915.data_k=3_l=5_sat.gph.smt2 (content) ok ok 11.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HierarchicalClustering/xy.14.x.14.r.3.886831626.391915.data_k=2_l=6_sat.gph.smt2 (content) ok ok 18.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HierarchicalClustering/xy.13.x.13.r.3.541669225.993881.data_k=2_l=6_sat.gph.smt2 (content) ok ok 10.8s
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