Instances of family ASP_Program_Inclusion solved by nenofex-qbfeval10
QBFEVAL'10 - Random QBFs Track.

InstanceResultTime
S-adeu-9FAIL584.68
S-adeu-5FAIL607.23
S-adeu-6FAIL616.75
S-adeu-3FAIL623.11
S-adeu-0FAIL625.22
S-adeu-2FAIL663.06
S-edau-6FAIL703.4
S-edau-4FAIL707.49
S-adeu-1FAIL745.12
S-adeu-7FAIL750.09
S-adeu-4FAIL757
S-edau-2FAIL779.07
S-edau-0FAIL782.02
S-edau-9FAIL812.53
S-edau-8FAIL819.75
S-edau-1FAIL821.22
S-edau-3FAIL831.38
S-edau-5FAIL831.56
S-adeu-8FAIL837.78
S-edau-7FAIL842.52
T-edau-0FAIL1200.13
T-edau-6FAIL1200.15
T-adeu-1FAIL1200.15
T-adeu-5FAIL1200.16
T-adeu-6FAIL1200.16
T-edau-4FAIL1200.16
T-adeu-7FAIL1200.16
T-edau-5FAIL1200.16
T-adeu-0FAIL1200.16
T-adeu-9FAIL1200.16
T-adeu-2FAIL1200.16
T-edau-8FAIL1200.16
T-adeu-3FAIL1200.16
T-edau-1FAIL1200.16
T-edau-3FAIL1200.17
T-edau-7FAIL1200.17
T-edau-9FAIL1200.17
T-adeu-4FAIL1200.17
T-edau-2FAIL1200.17
T-adeu-8FAIL1200.18