root
file
detailed [7950..7974]
prev
next
detailed results (95063 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1001.smt2
(content)
ok
ok
0.037s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1000.smt2
(content)
ok
ok
0.122s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_100.smt2
(content)
ok
ok
0.194s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_10.smt2
(content)
ok
ok
0.149s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1.smt2
(content)
ok
ok
0.052s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/rubik/8moves_mti_9-Atd_00004_bmc.smt2
(content)
ok
ok
2s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/rubik/8moves_mti_8-Atd_00004_bmc.smt2
(content)
ok
ok
1.8s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/rubik/7moves_mti_8-Atd_00004_bmc.smt2
(content)
ok
ok
1.7s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/rubik/7moves_mti_7-Atd_00004_bmc.smt2
(content)
ok
ok
1.5s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/rubik/6moves_mti_7-Atd_00004_bmc.smt2
(content)
ok
ok
1.5s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/rubik/6moves_mti_6-Atd_00004_bmc.smt2
(content)
ok
ok
1.3s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/rubik/6moves_mti_5-Atd_00004_bmc.smt2
(content)
ok
ok
1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/pspace/shift1add.29940.smt2
(content)
ok
ok
0.018s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/pspace/shift1add.28943.smt2
(content)
ok
ok
0.017s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/pspace/shift1add.27946.smt2
(content)
ok
ok
0.018s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/pspace/shift1add.26949.smt2
(content)
ok
ok
0.021s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/pspace/shift1add.25952.smt2
(content)
ok
ok
0.019s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/pspace/shift1add.24955.smt2
(content)
ok
ok
0.021s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/pspace/shift1add.23958.smt2
(content)
ok
ok
0.021s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/pspace/shift1add.22961.smt2
(content)
ok
ok
0.017s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/pspace/shift1add.21964.smt2
(content)
ok
ok
0.020s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/pspace/shift1add.20967.smt2
(content)
ok
ok
0.017s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/pspace/shift1add.19970.smt2
(content)
ok
ok
0.018s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/pspace/shift1add.18973.smt2
(content)
ok
ok
0.021s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/pspace/shift1add.17976.smt2
(content)
ok
ok
0.021s