Benchmark 2026-06-03_15-00-53

ChampValeur
Date2026-06-03_15-00-53
Répertoirebench/problems/equality
Home
Logslocal_portfolio
Time limit6
Robust time limitfalse
Size limit
Max clauses
Mode
CASC
Only iptrue
Version ip273dbb2

Résultats

ProblèmeStatus attenduRatingip
eq_large_01.pUnknownUnsatisfiable
0.007s
eq_large_02.pUnknownUnsatisfiable
0.006s
eq_large_03.pUnknownUnsatisfiable
0.006s
eq_large_04.pUnknownUnsatisfiable
0.006s
eq_large_05.pUnknownUnsatisfiable
0.006s
eq_large_06.pUnknownUnsatisfiable
0.007s
eq_large_07.pUnknownUnsatisfiable
0.007s
eq_large_08.pUnknownUnsatisfiable
0.008s
eq_large_09.pUnknownUnsatisfiable
0.007s
eq_large_10.pUnknownTimeout
6.007s
eq_medium_01.pUnknownUnsatisfiable
0.007s
eq_medium_02.pUnknownUnsatisfiable
0.007s
eq_medium_03.pUnknownUnsatisfiable
0.006s
eq_medium_04.pUnknownUnsatisfiable
0.006s
eq_medium_05.pUnknownUnsatisfiable
0.006s
eq_medium_06.pUnknownUnsatisfiable
0.005s
eq_medium_07.pUnknownUnsatisfiable
0.005s
eq_medium_08.pUnknownUnsatisfiable
0.007s
eq_medium_09.pUnknownUnsatisfiable
0.007s
eq_medium_10.pUnknownUnsatisfiable
0.006s
eq_small_01.pUnknownUnsatisfiable
0.006s
eq_small_02.pUnknownUnsatisfiable
0.007s
eq_small_03.pUnknownUnsatisfiable
0.007s
eq_small_04.pUnknownUnsatisfiable
0.008s
eq_small_05.pUnknownUnsatisfiable
0.007s
eq_small_06.pUnknownUnsatisfiable
0.006s
eq_small_07.pUnknownUnsatisfiable
0.006s
eq_small_08.pUnknownUnsatisfiable
0.006s
eq_small_09.pUnknownUnsatisfiable
0.007s
eq_small_10.pUnknownUnsatisfiable
0.007s

Stats par prouveur

ProuveurSous-ensembleTotalSuccèsTimeoutsIncomplétudeIncorrectionErreursTemps moyen
ipTous3029 (96.7%)1 (3.3%)0 (0.0%)0 (0.0%)0 (0.0%)0.207s
ipTheorem/Unsatisfiable00 (0.0%)0 (0.0%)0 (0.0%)0 (0.0%)0 (0.0%)0.000s
ipTheorem (FOF)00 (0.0%)0 (0.0%)0 (0.0%)0 (0.0%)0 (0.0%)0.000s
ipUnsatisfiable (CNF)00 (0.0%)0 (0.0%)0 (0.0%)0 (0.0%)0 (0.0%)0.000s