root
file
detailed [3025..3049]
prev
next
detailed results (241608 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8509233255130109737.smt2
(content)
ok
ok
0.156s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8509178840110521554.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8507584183141628128.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8506722626825424904.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8504329158743087555.smt2
(content)
ok
ok
0.156s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt849748001962937573.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8494184255845500339.smt2
(content)
ok
ok
0.157s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8492991991325718321.smt2
(content)
ok
ok
0.160s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8489297561607306971.smt2
(content)
ok
ok
0.203s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8486293241174360032.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8485752574996462099.smt2
(content)
ok
ok
0.129s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8485538043455214764.smt2
(content)
ok
ok
0.127s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8478527148273126145.smt2
(content)
ok
ok
0.157s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8472853180806395544.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8471778130142574800.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8471254732275803995.smt2
(content)
ok
ok
0.134s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8469316685144620162.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8469194059867665498.smt2
(content)
ok
ok
0.166s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8468032217917886259.smt2
(content)
ok
ok
0.161s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8466284514793256686.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt84651356209501765.smt2
(content)
ok
ok
0.200s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8462157437485023694.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8461506944537887385.smt2
(content)
ok
ok
0.152s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8452421561151970046.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8448225891155768703.smt2
(content)
ok
ok
0.128s