root
file
detailed [1275..1299]
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/smt3928871426555737819.smt2
(content)
ok
ok
0.166s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3927902644074725397.smt2
(content)
ok
ok
0.163s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3926937364471465169.smt2
(content)
ok
ok
0.137s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt392436398621695598.smt2
(content)
ok
ok
0.180s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3923775773539983429.smt2
(content)
ok
ok
0.200s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt392071309473656925.smt2
(content)
ok
ok
0.196s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3918884653526732951.smt2
(content)
ok
ok
0.115s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt391684349911292409.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt391595983448729660.smt2
(content)
ok
ok
0.159s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3911699271217407383.smt2
(content)
ok
ok
0.134s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3909464368114799494.smt2
(content)
ok
ok
0.159s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt390665156382724183.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3901488142755978650.smt2
(content)
ok
ok
0.179s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3898729084188558698.smt2
(content)
ok
ok
0.175s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3898704022843066916.smt2
(content)
ok
ok
0.164s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3895676080324812679.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3895219883963621298.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3893997862879221608.smt2
(content)
ok
ok
0.159s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3892195189285934999.smt2
(content)
ok
ok
0.154s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3890391702487580276.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3887518033817242238.smt2
(content)
ok
ok
0.162s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3887466446900307778.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3885599936190043309.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3883778675325558842.smt2
(content)
ok
ok
0.161s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt388347964121344472.smt2
(content)
ok
ok
0.125s