Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

SAT Solving on hamiltonian (in-domain)

118.39PAR-2 Score

AutoModSAT

83.908316.6615549.415782.1685Jul 30, 2025
Updated 1mo ago

Evaluation Results

MethodLinks
2025.07
118.39100
2025.07
245.6798
2025.07
410.5597
2025.07
560.3496
2025.07
640.295
2025.07
690.7394
2025.07
820.1592
2025.07
980.4490