root
file
detailed [34375..34399]
prev
next
detailed results (92284 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/wienand-cav2008/Booth/mult_ub_64x64_1.sf.smt2
(content)
ok
ok
6.1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/wienand-cav2008/Booth/mult_ub_4x4_1.sf.smt2
(content)
ok
ok
0.062s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/wienand-cav2008/Booth/mult_ub_48x48_1.sf.smt2
(content)
ok
ok
4.4s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/wienand-cav2008/Booth/mult_ub_32x32_1.sf.smt2
(content)
ok
ok
2s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/wienand-cav2008/Booth/mult_ub_16x16_1.sf.smt2
(content)
ok
ok
0.550s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/uum/uum8.smt2
(content)
ok
ok
0.075s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/uum/uum4.smt2
(content)
ok
ok
0.043s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/uum/uum32.smt2
(content)
ok
ok
0.294s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/uum/uum28.smt2
(content)
ok
ok
0.257s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/uum/uum24.smt2
(content)
ok
ok
0.226s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/uum/uum20.smt2
(content)
ok
ok
0.189s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/uum/uum16.smt2
(content)
ok
ok
0.148s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/uum/uum12.smt2
(content)
ok
ok
0.111s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/uclid_contrib_smtcomp09/sw_bv_formula.smt2
(content)
ok
ok
0.423s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/uclid_contrib_smtcomp09/std_bv_formula.smt2
(content)
ok
ok
0.511s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/uclid_contrib_smtcomp09/stall_bv_formula.smt2
(content)
ok
ok
1.1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/uclid_contrib_smtcomp09/nt_bv_formula.smt2
(content)
ok
ok
0.503s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/uclid_contrib_smtcomp09/lf_bv_formula.smt2
(content)
ok
ok
0.522s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/uclid_contrib_smtcomp09/full_bv_formula.smt2
(content)
ok
ok
0.514s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/uclid_contrib_smtcomp09/btfnt_bv_formula.smt2
(content)
ok
ok
0.307s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/uclid/tcas/tcas60_k_0.smt2
(content)
ok
ok
0.043s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/uclid/tcas/tcas45_k_0.smt2
(content)
ok
ok
0.043s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/mplayer-mp3-query-15803-snippet3.mp3.smt2
(content)
ok
ok
1m47.4s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-tiff2jpg-query-1831.smt2
(content)
ok
ok
1.8s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-901.smt2
(content)
ok
ok
0.429s