root
file
detailed [34600..34624]
prev
next
detailed results (92284 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r7_vr1_c1_s24449.smt2
(content)
ok
ok
0.078s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r7_vr1_c1_s22845.smt2
(content)
ok
ok
0.070s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r7_vr10_c1_s32506.smt2
(content)
ok
ok
0.037s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r7_vr10_c1_s24535.smt2
(content)
ok
ok
0.058s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r7_vr10_c1_s10625.smt2
(content)
ok
ok
0.066s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r17_vr5_c1_s4772.smt2
(content)
ok
ok
0.055s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r17_vr5_c1_s2807.smt2
(content)
ok
ok
0.061s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r17_vr5_c1_s25451.smt2
(content)
ok
ok
0.065s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r17_vr1_c1_s30331.smt2
(content)
ok
ok
0.107s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r17_vr1_c1_s24331.smt2
(content)
ok
ok
0.061s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r17_vr1_c1_s23882.smt2
(content)
ok
ok
0.069s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r17_vr10_c1_s8773.smt2
(content)
ok
ok
0.057s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r17_vr10_c1_s3680.smt2
(content)
ok
ok
0.056s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r17_vr10_c1_s18654.smt2
(content)
ok
ok
0.074s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r12_vr5_c1_s8938.smt2
(content)
ok
ok
0.046s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r12_vr5_c1_s29826.smt2
(content)
ok
ok
0.040s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r12_vr5_c1_s14336.smt2
(content)
ok
ok
0.052s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r12_vr1_c1_s703.smt2
(content)
ok
ok
0.053s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r12_vr1_c1_s22787.smt2
(content)
ok
ok
0.091s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r12_vr1_c1_s10576.smt2
(content)
ok
ok
0.078s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r12_vr10_c1_s30410.smt2
(content)
ok
ok
0.058s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r12_vr10_c1_s18160.smt2
(content)
ok
ok
0.061s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r12_vr10_c1_s15994.smt2
(content)
ok
ok
0.041s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r5_vr5_c1_s9855.smt2
(content)
ok
ok
0.024s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r5_vr5_c1_s2800.smt2
(content)
ok
ok
0.062s